Emir Demirovic

59 papers A* 22A 10B 7Journal 19Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Domain-Independent Dynamic Programming with Constraint Propagation. CoRR Imko Marijnissen, J. Christopher Beck, Emir Demirovic, Ryo Kuroiwa
2026	A*	`conf`	Using Certifying Constraint Solvers for Generating Step-wise Explanations. AAAI Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirovic, Tias Guns
2025	A	`conf`	Conflict Analysis Based on Cutting-Planes for Constraint Programming. CP Robbin Baauw, Maarten Flippo, Emir Demirovic
2025	A*	`conf`	In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search. AAAI Emir Demirovic, Christian Schilling, Anna Lukina
2025	A*	`conf`	Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound. AAAI Catalin E. Brita, Jacobus G. M. van der Linden, Emir Demirovic
2025	J	`jnl`	Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound. CoRR Catalin E. Brita, Jacobus G. M. van der Linden, Emir Demirovic
2025	J	`jnl`	SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration. CoRR Elif Arslan, Jacobus G. M. van der Linden, Serge P. Hoogendoorn, Marco Rinaldi, Emir Demirovic
2025	A	`conf`	Transparent AI by Design: Search Algorithms for Supervised Learning, Control Policies, and Combinatorial Certification. ECAI Emir Demirovic
2025	A	`conf`	Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems. CP Konstantin Sidorov, Imko Marijnissen, Emir Demirovic
2025	J	`jnl`	Using Certifying Constraint Solvers for Generating Step-wise Explanations. CoRR Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirovic, Tias Guns
2024	A	`conf`	A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. CP Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic
2024	J	`jnl`	How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization. CoRR Konstantin Sidorov, Koos van der Linden, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, Emir Demirovic
2024	J	`jnl`	In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search. CoRR Emir Demirovic, Christian Schilling, Anna Lukina
2024	A*	`conf`	Optimal Survival Trees: A Dynamic Programming Approach. AAAI Tim Huisman, Jacobus G. M. van der Linden, Emir Demirovic
2024	J	`jnl`	Optimal Survival Trees: A Dynamic Programming Approach. CoRR Tim Huisman, Jacobus G. M. van der Linden, Emir Demirovic
2024	J	`jnl`	Optimal or Greedy Decision Trees? Revisiting their Objectives, Tuning, and Performance. CoRR Jacobus G. M. van der Linden, Daniël Vos, Mathijs Michiel de Weerdt, Sicco Verwer, Emir Demirovic
2024	A*	`conf`	Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths. AAAI Konstantin Sidorov, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, Emir Demirovic
2024	A*	`conf`	Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach. ICML Mim van den Bos, Jacobus G. M. van der Linden, Emir Demirovic
2024	A	`conf`	Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. CP Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov
2023	J	`jnl`	Algorithms for partially robust team formation. Auton. Agents Multi Agent Syst. Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
2023	A*	`conf`	Blossom: an Anytime Algorithm for Computing Optimal Decision Trees. ICML Emir Demirovic, Emmanuel Hebrard, Louis Jean
2023	A*	`conf`	Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming. NeurIPS Jacobus G. M. van der Linden, Mathijs de Weerdt, Emir Demirovic
2023	J	`jnl`	Optimal Decision Trees for Separable Objectives: Pushing the Limits of Dynamic Programming. CoRR Jacobus G. M. van der Linden, Mathijs Michiel de Weerdt, Emir Demirovic
2023	A*	`conf`	Parallel Batch Processing for the Coating Problem. ICAPS Matthias Horn, Emir Demirovic, Neil Yorke-Smith
2023	A*	`conf`	Safety Verification of Decision-Tree Policies in Continuous Time. NeurIPS Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen
2023	A*	`conf`	Solving the Multi-Choice Two Dimensional Shelf Strip Packing Problem with Time Windows. ICAPS Matthias Horn, Emir Demirovic, Neil Yorke-Smith
2022	A*	`conf`	A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems. AAAI Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey
2022	A*	`conf`	Fair and Optimal Decision Trees: A Dynamic Programming Approach. NeurIPS Jacobus G. M. van der Linden, Mathijs de Weerdt, Emir Demirovic
2022	—	`conf`	Modelling Zeros in Blockmodelling. PAKDD (2) Laurence A. F. Park, Mohadeseh Ganji, Emir Demirovic, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Rao Kotagiri
2022	J	`jnl`	MurTree: Optimal Decision Trees via Dynamic Programming and Search. J. Mach. Learn. Res. Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
2022	A*	`conf`	Talking Trucks: Decentralized Collaborative Multi-Agent Order Scheduling for Self-Organizing Logistics. ICAPS 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
2021	A*	`conf`	Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. AAAI Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey
2021	B	`conf`	Learning Variable Activity Initialisation for Lazy Clause Generation Solvers. CPAIOR Ronald van Driel, Emir Demirovic, Neil Yorke-Smith
2021	A*	`conf`	Optimal Decision Trees for Nonlinear Metrics. AAAI Emir Demirovic, Peter J. Stuckey
2021	A	`conf`	Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. AAMAS Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
2020	B	`conf`	Core-Guided and Core-Boosted Search for CP. CPAIOR Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey
2020	J	`jnl`	Divide and Learn: A Divide and Conquer Approach for Predict+Optimize. CoRR Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey
2020	A*	`conf`	Dynamic Programming for Predict+Optimise. AAAI Emir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan
2020	B	`conf`	Improving Single and Multi-View Blockmodelling by Algebraic Simplification. IJCNN Rishabh Ramteke, Peter J. Stuckey, Jeffrey Chan, Kotagiri Ramamohanarao, James Bailey, Christopher Leckie, Emir Demirovic
2020	J	`jnl`	MurTree: Optimal Classification Trees via Dynamic Programming and Search. CoRR Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
2020	J	`jnl`	Optimal Decision Trees for Nonlinear Metrics. CoRR Emir Demirovic, Peter J. Stuckey
2020	A*	`conf`	Representative Solutions for Bi-Objective Optimisation. AAAI Emir Demirovic, Nicolas Schwind
2020	A*	`conf`	Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. AAAI Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns
2019	B	`conf`	An Investigation into Prediction + Optimisation for the Knapsack Problem. CPAIOR Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns
2019	B	`conf`	Core-Boosted Linear Search for Incomplete MaxSAT. CPAIOR Jeremias Berg, Emir Demirovic, Peter J. Stuckey
2019	J	`jnl`	Modeling and solving staff scheduling with partial weighted maxSAT. Ann. Oper. Res. Emir Demirovic, Nysret Musliu, Felix Winter
2019	A*	`conf`	Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions. IJCAI Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Christopher Leckie, Kotagiri Ramamohanarao, Tias Guns
2019	J	`jnl`	Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. CoRR Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns
2019	A*	`conf`	Solution Approaches for an Automotive Paint Shop Scheduling Problem. ICAPS Felix Winter, Nysret Musliu, Emir Demirovic, Christoph Mrkvicka
2019	A	`conf`	Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. CP Emir Demirovic, Peter J. Stuckey
2018	B	`conf`	Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. CPAIOR Emir Demirovic, Peter J. Stuckey
2018	A	`conf`	Recoverable Team Formation: Building Teams Resilient to Change. AAMAS Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
2018	B	`conf`	Robust Coalition Structure Generation. PRIMA Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis
2018	A	`conf`	Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. CP Emir Demirovic, Geoffrey Chu, Peter J. Stuckey
2017	J	`jnl`	MaxSAT-based large neighborhood search for high school timetabling. Comput. Oper. Res. Emir Demirovic, Nysret Musliu
2017	J	`jnl`	Modeling high school timetabling with bitvectors. Ann. Oper. Res. Emir Demirovic, Nysret Musliu
2017	A*	`conf`	SAT-Based Approaches for the General High School Timetabling Problem. IJCAI Emir Demirovic
2012	A	`conf`	An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition - (Poster Presentation). SAT Emir Demirovic, Haris Gavranovic
2012	J	`jnl`	Variable Neighborhood Search for Google Machine Reassignment problem. Electron. Notes Discret. Math. Haris Gavranovic, Mirsad Buljubasic, Emir Demirovic