Emir Demirovic

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 43

Top Topics

Hard Combinatorial Optimization Problems

Dynamic Programming

Top Venues

Publications

Tim Huisman, Jacobus G. M. van der Linden, Emir Demirovic
Optimal Survival Trees: A Dynamic Programming Approach. CoRR (2024)
Konstantin Sidorov, Gonçalo Homem De Almeida Correia, Mathijs de Weerdt, Emir Demirovic
Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths. AAAI (2024)
Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. CP (2024)
Tim Huisman, Jacobus G. M. van der Linden, Emir Demirovic
Optimal Survival Trees: A Dynamic Programming Approach. AAAI (2024)
Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic
A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. CP (2024)
Emir Demirovic, Emmanuel Hebrard, Louis Jean
Blossom: an Anytime Algorithm for Computing Optimal Decision Trees. ICML (2023)
Matthias Horn, Emir Demirovic, Neil Yorke-Smith
Solving the Multi-Choice Two Dimensional Shelf Strip Packing Problem with Time Windows. ICAPS (2023)
Jacobus G. M. van der Linden, Mathijs Michiel de Weerdt, Emir Demirovic
Optimal Decision Trees for Separable Objectives: Pushing the Limits of Dynamic Programming. CoRR (2023)
Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
Algorithms for partially robust team formation. Auton. Agents Multi Agent Syst. 37 (2) (2023)
Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen
Safety Verification of Decision-Tree Policies in Continuous Time. NeurIPS (2023)
Jacobus G. M. van der Linden, Mathijs de Weerdt, Emir Demirovic
Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming. NeurIPS (2023)
Matthias Horn, Emir Demirovic, Neil Yorke-Smith
Parallel Batch Processing for the Coating Problem. ICAPS (2023)
Jacobus G. M. van der Linden, Mathijs de Weerdt, Emir Demirovic
Fair and Optimal Decision Trees: A Dynamic Programming Approach. NeurIPS (2022)
Laurence A. F. Park, Mohadeseh Ganji, Emir Demirovic, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Rao Kotagiri
Modelling Zeros in Blockmodelling. PAKDD (2) (2022)
Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
MurTree: Optimal Decision Trees via Dynamic Programming and Search. J. Mach. Learn. Res. 23 (2022)
Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey
A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems. AAAI (2022)
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
Talking Trucks: Decentralized Collaborative Multi-Agent Order Scheduling for Self-Organizing Logistics. ICAPS (2022)
Ronald van Driel, Emir Demirovic, Neil Yorke-Smith
Learning Variable Activity Initialisation for Lazy Clause Generation Solvers. CPAIOR (2021)
Emir Demirovic, Peter J. Stuckey
Optimal Decision Trees for Nonlinear Metrics. AAAI (2021)
Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. AAMAS (2021)
Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. AAAI (2021)
Emir Demirovic, Nicolas Schwind
Representative Solutions for Bi-Objective Optimisation. AAAI (2020)
Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey
Core-Guided and Core-Boosted Search for CP. CPAIOR (2020)
Rishabh Ramteke, Peter J. Stuckey, Jeffrey Chan, Kotagiri Ramamohanarao, James Bailey, Christopher Leckie, Emir Demirovic
Improving Single and Multi-View Blockmodelling by Algebraic Simplification. IJCNN (2020)
Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
MurTree: Optimal Classification Trees via Dynamic Programming and Search. CoRR (2020)
Emir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan
Dynamic Programming for Predict+Optimise. AAAI (2020)
Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. AAAI (2020)
Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey
Divide and Learn: A Divide and Conquer Approach for Predict+Optimize. CoRR (2020)
Emir Demirovic, Peter J. Stuckey
Optimal Decision Trees for Nonlinear Metrics. CoRR (2020)
Emir Demirovic, Peter J. Stuckey
Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. CP (2019)
Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. CoRR (2019)
Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns
An Investigation into Prediction + Optimisation for the Knapsack Problem. CPAIOR (2019)
Felix Winter, Nysret Musliu, Emir Demirovic, Christoph Mrkvicka
Solution Approaches for an Automotive Paint Shop Scheduling Problem. ICAPS (2019)
Emir Demirovic, Nysret Musliu, Felix Winter
Modeling and solving staff scheduling with partial weighted maxSAT. Ann. Oper. Res. 275 (1) (2019)
Jeremias Berg, Emir Demirovic, Peter J. Stuckey
Core-Boosted Linear Search for Incomplete MaxSAT. CPAIOR (2019)
Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Christopher Leckie, Kotagiri Ramamohanarao, Tias Guns
Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions. IJCAI (2019)
Emir Demirovic, Geoffrey Chu, Peter J. Stuckey
Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. CP (2018)
Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis
Robust Coalition Structure Generation. PRIMA (2018)
Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
Recoverable Team Formation: Building Teams Resilient to Change. AAMAS (2018)
Emir Demirovic, Peter J. Stuckey
Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. CPAIOR (2018)
Emir Demirovic
SAT-Based Approaches for the General High School Timetabling Problem. IJCAI (2017)
Emir Demirovic, Nysret Musliu
Modeling high school timetabling with bitvectors. Ann. Oper. Res. 252 (2) (2017)
Emir Demirovic, Nysret Musliu
MaxSAT-based large neighborhood search for high school timetabling. Comput. Oper. Res. 78 (2017)
Emir Demirovic, Haris Gavranovic
An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition - (Poster Presentation). SAT (2012)
Haris Gavranovic, Mirsad Buljubasic, Emir Demirovic
Variable Neighborhood Search for Google Machine Reassignment problem. Electron. Notes Discret. Math. 39 (2012)