Emir Demirovic

Venues

Frequent coauthors

Papers

1. Using Certifying Constraint Solvers for Generating Step-wise Explanations
   AAAI 2026 ·

   Ignace Bleukx

   DBLP profile ↗ORCID search ↗
2. In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
   AAAI 2025 · Emir Demirovic
3. Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound
   AAAI 2025 ·

   Catalin E. Brita

   DBLP profile ↗ORCID search ↗
4. SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration
   NeurIPS 2025 ·

   Elif Arslan

   DBLP profile ↗ORCID search ↗
5. Transparent AI by Design: Search Algorithms for Supervised Learning, Control Policies, and Combinatorial Certification
   ECAI 2025 · Emir Demirovic
6. Optimal Survival Trees: A Dynamic Programming Approach
   AAAI 2024 ·

   Tim Huisman

   DBLP profile ↗ORCID search ↗
7. Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths
   AAAI 2024 ·

   Konstantin Sidorov

   DBLP profile ↗ORCID search ↗
8. Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach
   ICML 2024 ·

   Mim van den Bos

   DBLP profile ↗ORCID search ↗