PPaperPicks

Emir Demirovic

12 papers at tracked venues · 7 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×5CP ×4ECAI ×1ICML ×1NeurIPS ×1

Frequent coauthors

Maarten Flippo
×4
Jacobus G. M. van der Linden
×4
Konstantin Sidorov
×3
Imko Marijnissen
×2
Tip ten Brink
×1
Clément Pit-Claudel
×1
Ignace Bleukx
×1
Bart Bogaerts
×1
Tias Guns
×1
Robbin Baauw
×1
Christian Schilling
×1
Anna Lukina
×1

Papers

  1. Formally Verified Certification of Constraint Programming Proofs
    CP 2026 ·
    Maarten Flippo
    ,
    Konstantin Sidorov
    ,
    Tip ten Brink
    ,
    Clément Pit-Claudel
    , Emir Demirovic
  2. From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming
    CP 2026 ·
    Imko Marijnissen
    ,
    Maarten Flippo
    , Emir Demirovic
  3. Using Certifying Constraint Solvers for Generating Step-wise Explanations
    AAAI 2026 ·
    Ignace Bleukx
    ,
    Maarten Flippo
    ,
    Bart Bogaerts
    , Emir Demirovic,
    Tias Guns
  4. Conflict Analysis Based on Cutting-Planes for Constraint Programming
    CP 2025 ·
    Robbin Baauw
    ,
    Maarten Flippo
    , Emir Demirovic
  5. In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
    AAAI 2025 · Emir Demirovic,
    Christian Schilling
    ,
    Anna Lukina
  6. Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound
    AAAI 2025 ·
    Catalin E. Brita
    ,
    Jacobus G. M. van der Linden
    , Emir Demirovic
  7. SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration
    NeurIPS 2025 ·
    Elif Arslan
    ,
    Jacobus G. M. van der Linden
    ,
    Serge P. Hoogendoorn
    ,
    Marco Rinaldi
    , Emir Demirovic
  8. Transparent AI by Design: Search Algorithms for Supervised Learning, Control Policies, and Combinatorial Certification
    ECAI 2025 · Emir Demirovic
  9. Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems
    CP 2025 ·
    Konstantin Sidorov
    ,
    Imko Marijnissen
    , Emir Demirovic
  10. Optimal Survival Trees: A Dynamic Programming Approach
    AAAI 2024 ·
    Tim Huisman
    ,
    Jacobus G. M. van der Linden
    , Emir Demirovic
  11. Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths
    AAAI 2024 ·
    Konstantin Sidorov
    ,
    Gonçalo Homem de Almeida Correia
    ,
    Mathijs de Weerdt
    , Emir Demirovic
  12. Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach
    ICML 2024 ·
    Mim van den Bos
    ,
    Jacobus G. M. van der Linden
    , Emir Demirovic