An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition - (Poster Presentation). - Emir Demirovic; Haris Gavranovic (SAT, 2012)

Variable Neighborhood Search for Google Machine Reassignment problem. - Haris Gavranovic; Mirsad Buljubasic; Emir Demirovic (Electron. Notes Discret. Math., 2012)

SAT-Based Approaches for the General High School Timetabling Problem. - Emir Demirovic (IJCAI, 2017)

Modeling high school timetabling with bitvectors. - Emir Demirovic; Nysret Musliu (Ann. Oper. Res., 2017)

MaxSAT-based large neighborhood search for high school timetabling. - Emir Demirovic; Nysret Musliu (Comput. Oper. Res., 2017)

Recoverable Team Formation: Building Teams Resilient to Change. - Emir Demirovic; Nicolas Schwind; Tenda Okimoto; Katsumi Inoue (AAMAS, 2018)

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 (CP, 2018)

Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. - Emir Demirovic; Peter J. Stuckey (CPAIOR, 2018)

Robust Coalition Structure Generation. - Tenda Okimoto; Nicolas Schwind; Emir Demirovic; Katsumi Inoue; Pierre Marquis (PRIMA, 2018)

Solution Approaches for an Automotive Paint Shop Scheduling Problem. - Felix Winter; Nysret Musliu; Emir Demirovic; Christoph Mrkvicka (ICAPS, 2019)

Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. - Emir Demirovic; Peter J. Stuckey (CP, 2019)

Core-Boosted Linear Search for Incomplete MaxSAT. - Jeremias Berg; Emir Demirovic; Peter J. Stuckey (CPAIOR, 2019)

An Investigation into Prediction + Optimisation for the Knapsack Problem. - Emir Demirovic; Peter J. Stuckey; James Bailey 001; Jeffrey Chan; Chris Leckie; Kotagiri Ramamohanarao; Tias Guns (CPAIOR, 2019)

Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions. - Emir Demirovic; Peter J. Stuckey; James Bailey 001; Jeffrey Chan; Christopher Leckie; Kotagiri Ramamohanarao; Tias Guns (IJCAI, 2019)

Modeling and solving staff scheduling with partial weighted maxSAT. - Emir Demirovic; Nysret Musliu; Felix Winter (Ann. Oper. Res., 2019)

Representative Solutions for Bi-Objective Optimisation. - Emir Demirovic; Nicolas Schwind (AAAI, 2020)

Dynamic Programming for Predict+Optimise. - Emir Demirovic; Peter J. Stuckey; Tias Guns; James Bailey 001; Christopher Leckie; Kotagiri Ramamohanarao; Jeffrey Chan (AAAI, 2020)

Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. - Jayanta Mandi; Emir Demirovic; Peter J. Stuckey; Tias Guns (AAAI, 2020)

Core-Guided and Core-Boosted Search for CP. - Graeme Gange; Jeremias Berg; Emir Demirovic; Peter J. Stuckey (CPAIOR, 2020)

Improving Single and Multi-View Blockmodelling by Algebraic Simplification. - Rishabh Ramteke; Peter J. Stuckey; Jeffrey Chan; Kotagiri Ramamohanarao; James Bailey 001; Christopher Leckie; Emir Demirovic (IJCNN, 2020)

MurTree: Optimal Classification Trees via Dynamic Programming and Search. - Emir Demirovic; Anna Lukina; Emmanuel Hebrard; Jeffrey Chan; James Bailey 001; Christopher Leckie; Kotagiri Ramamohanarao; Peter J. Stuckey (CoRR, 2020)

Divide and Learn: A Divide and Conquer Approach for Predict+Optimize. - Ali Ugur Guler; Emir Demirovic; Jeffrey Chan; James Bailey 001; Christopher Leckie; Peter J. Stuckey (CoRR, 2020)

Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning". - Jo Devriendt; Stephan Gocht; Emir Demirovic; Jakob Nordström; Peter J. Stuckey (Zenodo, 2020)

Optimal Decision Trees for Nonlinear Metrics. - Emir Demirovic; Peter J. Stuckey (AAAI, 2021)

Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. - Jo Devriendt; Stephan Gocht; Emir Demirovic; Jakob Nordström; Peter J. Stuckey (AAAI, 2021)

Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. - Nicolas Schwind; Emir Demirovic; Katsumi Inoue; Jean-Marie Lagniez (AAMAS, 2021)

Learning Variable Activity Initialisation for Lazy Clause Generation Solvers. - Ronald van Driel; Emir Demirovic; Neil Yorke-Smith (CPAIOR, 2021)

A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems. - Ali Ugur Guler; Emir Demirovic; Jeffrey Chan; James Bailey 001; Christopher Leckie; Peter J. Stuckey (AAAI, 2022)

Talking Trucks: Decentralized Collaborative Multi-Agent Order Scheduling for Self-Organizing Logistics. - Geert L. J. Pingen; Christian R. van Ommeren; Cornelis J. van Leeuwen; Ruben W. Fransen; Tijmen Elfrink; Yorick C. de Vries; Janarthanan Karunakaran; Emir Demirovic; Neil Yorke-Smith (ICAPS, 2022)

Fair and Optimal Decision Trees: A Dynamic Programming Approach. - Jacobus G. M. van der Linden; Mathijs de Weerdt; Emir Demirovic (NeurIPS, 2022)

Modelling Zeros in Blockmodelling. - Laurence A. F. Park; Mohadeseh Ganji; Emir Demirovic; Jeffrey Chan; Peter J. Stuckey; James Bailey 001; Christopher Leckie; Rao Kotagiri (PAKDD (2), 2022)

MurTree: Optimal Decision Trees via Dynamic Programming and Search. - Emir Demirovic; Anna Lukina; Emmanuel Hebrard; Jeffrey Chan; James Bailey 001; Christopher Leckie; Kotagiri Ramamohanarao; Peter J. Stuckey (J. Mach. Learn. Res., 2022)

Parallel Batch Processing for the Coating Problem. - Matthias Horn; Emir Demirovic; Neil Yorke-Smith (ICAPS, 2023)

Solving the Multi-Choice Two Dimensional Shelf Strip Packing Problem with Time Windows. - Matthias Horn; Emir Demirovic; Neil Yorke-Smith (ICAPS, 2023)

Blossom: an Anytime Algorithm for Computing Optimal Decision Trees. - Emir Demirovic; Emmanuel Hebrard; Louis Jean (ICML, 2023)

Safety Verification of Decision-Tree Policies in Continuous Time. - Christian Schilling 001; Anna Lukina; Emir Demirovic; Kim Guldstrand Larsen (NeurIPS, 2023)

Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming. - Jacobus G. M. van der Linden; Mathijs de Weerdt; Emir Demirovic (NeurIPS, 2023)

Optimal Decision Trees for Separable Objectives: Pushing the Limits of Dynamic Programming. - Jacobus G. M. van der Linden; Mathijs Michiel de Weerdt; Emir Demirovic (CoRR, 2023)

Algorithms for partially robust team formation. - Nicolas Schwind; Emir Demirovic; Katsumi Inoue; Jean-Marie Lagniez (Auton. Agents Multi Agent Syst., 2023)

Optimal Survival Trees: A Dynamic Programming Approach. - Tim Huisman; Jacobus G. M. van der Linden; Emir Demirovic (AAAI, 2024)

Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths. - Konstantin Sidorov; Gonçalo Homem de Almeida Correia; Mathijs de Weerdt; Emir Demirovic (AAAI, 2024)

Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. - Emir Demirovic; Ciaran McCreesh; Matthew J. McIlree; Jakob Nordström; Andy Oertel; Konstantin Sidorov (CP, 2024)

A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. - Maarten Flippo; Konstantin Sidorov; Imko Marijnissen; Jeff Smits; Emir Demirovic (CP, 2024)

Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach. - Mim van den Bos; Jacobus G. M. van der Linden; Emir Demirovic (ICML, 2024)

Optimal or Greedy Decision Trees? Revisiting their Objectives, Tuning, and Performance. - Jacobus G. M. van der Linden; Daniël Vos; Mathijs Michiel de Weerdt; Sicco Verwer; Emir Demirovic (CoRR, 2024)

How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization. - Konstantin Sidorov; Koos van der Linden; Gonçalo Homem de Almeida Correia; Mathijs de Weerdt; Emir Demirovic (CoRR, 2024)

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 (AAAI, 2025)

In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search. - Emir Demirovic; Christian Schilling 001; Anna Lukina (AAAI, 2025)

Conflict Analysis Based on Cutting-Planes for Constraint Programming. - Robbin Baauw; Maarten Flippo; Emir Demirovic (CP, 2025)

Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems. - Konstantin Sidorov; Imko Marijnissen; Emir Demirovic (CP, 2025)