| 2026 | AAAI | Using Certifying Constraint Solvers for Generating Step-wise Explanations. | Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirovic, Tias Guns |
| 2026 | CP | Formally Verified Certification of Constraint Programming Proofs. | Maarten Flippo, Konstantin Sidorov, Tip ten Brink, Clment Pit-Claudel, Emir Demirovic |
| 2026 | CP | From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming. | Imko Marijnissen, Maarten Flippo, Emir Demirovic |
| 2026 | CPAIOR | Resolution Meets Cutting Planes: Introducing Hypercube Linear Resolution. | Maarten Flippo, Peter J. Stuckey, Emir Demirovic |
| 2025 | AAAI | Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound. | Catalin E. Brita, Jacobus G. M. van der Linden, Emir Demirovic |
| 2025 | AAAI | In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search. | Emir Demirovic, Christian Schilling, Anna Lukina |
| 2025 | CP | Conflict Analysis Based on Cutting-Planes for Constraint Programming. | Robbin Baauw, Maarten Flippo, Emir Demirovic |
| 2025 | CP | Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems. | Konstantin Sidorov, Imko Marijnissen, Emir Demirovic |
| 2025 | ECAI | Transparent AI by Design: Search Algorithms for Supervised Learning, Control Policies, and Combinatorial Certification. | Emir Demirovic |
| 2024 | AAAI | Optimal Survival Trees: A Dynamic Programming Approach. | Tim Huisman, Jacobus G. M. van der Linden, Emir Demirovic |
| 2024 | AAAI | Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths. | Konstantin Sidorov, Gonalo Homem de Almeida Correia, Mathijs de Weerdt, Emir Demirovic |
| 2024 | CP | Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. | Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordstrm, Andy Oertel, Konstantin Sidorov |
| 2024 | CP | A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. | Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic |
| 2024 | ICML | Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach. | Mim van den Bos, Jacobus G. M. van der Linden, Emir Demirovic |
| 2023 | ICML | Blossom: an Anytime Algorithm for Computing Optimal Decision Trees. | Emir Demirovic, Emmanuel Hebrard, Louis Jean |
| 2022 | AAAI | A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems. | Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey |
| 2022 | PAKDD | Modelling Zeros in Blockmodelling. | Laurence A. F. Park, Mohadeseh Ganji, Emir Demirovic, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Rao Kotagiri |
| 2021 | AAAI | Optimal Decision Trees for Nonlinear Metrics. | Emir Demirovic, Peter J. Stuckey |
| 2021 | AAAI | Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. | Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordstrm, Peter J. Stuckey |
| 2021 | CPAIOR | Learning Variable Activity Initialisation for Lazy Clause Generation Solvers. | Ronald van Driel, Emir Demirovic, Neil Yorke-Smith |
| 2020 | AAAI | Representative Solutions for Bi-Objective Optimisation. | Emir Demirovic, Nicolas Schwind |
| 2020 | AAAI | Dynamic Programming for Predict+Optimise. | Emir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan |
| 2020 | AAAI | Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. | Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns |
| 2020 | CPAIOR | Core-Guided and Core-Boosted Search for CP. | Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey |
| 2020 | IJCNN | Improving Single and Multi-View Blockmodelling by Algebraic Simplification. | Rishabh Ramteke, Peter J. Stuckey, Jeffrey Chan, Kotagiri Ramamohanarao, James Bailey, Christopher Leckie, Emir Demirovic |
| 2019 | CP | Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. | Emir Demirovic, Peter J. Stuckey |
| 2019 | CPAIOR | Core-Boosted Linear Search for Incomplete MaxSAT. | Jeremias Berg, Emir Demirovic, Peter J. Stuckey |
| 2019 | CPAIOR | An Investigation into Prediction + Optimisation for the Knapsack Problem. | Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns |
| 2019 | IJCAI | Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions. | Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Christopher Leckie, Kotagiri Ramamohanarao, Tias Guns |
| 2018 | CP | Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. | Emir Demirovic, Geoffrey Chu, Peter J. Stuckey |
| 2018 | CPAIOR | Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. | Emir Demirovic, Peter J. Stuckey |
| 2018 | PRIMA | Robust Coalition Structure Generation. | Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis |
| 2017 | IJCAI | SAT-Based Approaches for the General High School Timetabling Problem. | Emir Demirovic |
| 2012 | SAT | An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition - (Poster Presentation). | Emir Demirovic, Haris Gavranovic |