Maarten Flippo, Konstantin Sidorov, Tip ten Brink, Clément Pit-Claudel, Emir Demirović (2026), Formally Verified Certification of Constraint Programming Proofs, Nicolas Beldiceanu (Eds.), In 32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Imko Marijnissen, Maarten Flippo, Emir Demirović (2026), From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming, Nicolas Beldiceanu (Eds.), In 32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirović, Tias Guns (2026), Using Certifying Constraint Solvers for Generating Step-wise Explanations, In Proceedings of the AAAI Conference on Artificial Intelligence.

Robbin Baauw, Maarten Flippo, Emir Demirović (2025), Conflict Analysis Based on Cutting-Planes for Constraint Programming, Maria Garcia de la Banda (Eds.), In 31st International Conference on Principles and Practice of Constraint Programming, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Emir Demirović, Christian Schilling, Anna Lukina (2025), In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search, In Proceedings of the AAAI Conference on Artificial Intelligence p.27250-27257.

Catalin E. Brita, Jacobus G.M. van der Linden, Emir Demirović (2025), Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound, In Proceedings of the AAAI Conference on Artificial Intelligence p.11131-11139.

Elif Arslan, Jacobus G. M. van der Linden, Serge Hoogendoorn, Marco Rinaldi, Emir Demirović (2025), SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration.

E. Arslan, J.G.M. van der Linden, S.P. Hoogendoorn, M. Rinaldi, E. Demirović (2025), SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration.

Emir Demirović (2025), Transparent AI by Design: Search Algorithms for Supervised Learning, Control Policies, and Combinatorial Certification, Ines Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omicini, Mehdi Dastani (Eds.), In ECAI 2025 - 28th European Conference on Artificial Intelligence, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025 - Proceedings p.2-9, IOS Press.

Konstantin Sidorov, Imko Marijnissen, Emir Demirović (2025), Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems, Maria Garcia de la Banda (Eds.), In 31st International Conference on Principles and Practice of Constraint Programming, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.