Emir Demirovic

According to our database, Emir Demirovic authored at least 46 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.

Emir Demirovic, Christian Schilling, Anna Lukina

CoRR, 2024

Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach.

Mim van den Bos, Jacobus G. M. van der Linden, Emir Demirovic

Proceedings of the Forty-first International Conference on Machine Learning, 2024

A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers.

Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 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

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 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

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Optimal Survival Trees: A Dynamic Programming Approach.

Tim Huisman, Jacobus G. M. van der Linden, Emir Demirovic

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Algorithms for partially robust team formation.

Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez

Auton. Agents Multi Agent Syst., October, 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

Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming.

Jacobus G. M. van der Linden, Mathijs de Weerdt, Emir Demirovic

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Safety Verification of Decision-Tree Policies in Continuous Time.

Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Blossom: an Anytime Algorithm for Computing Optimal Decision Trees.

Emir Demirovic, Emmanuel Hebrard, Louis Jean

Proceedings of the International Conference on Machine Learning, 2023

Solving the Multi-Choice Two Dimensional Shelf Strip Packing Problem with Time Windows.

Matthias Horn, Emir Demirovic, Neil Yorke-Smith

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Parallel Batch Processing for the Coating Problem.

Matthias Horn, Emir Demirovic, Neil Yorke-Smith

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

MurTree: Optimal Decision Trees via Dynamic Programming and Search.

Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey

J. Mach. Learn. Res., 2022

Modelling Zeros in Blockmodelling.

Laurence A. F. Park, Mohadeseh Ganji, Emir Demirovic, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Rao Kotagiri

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2022

Fair and Optimal Decision Trees: A Dynamic Programming Approach.

Jacobus G. M. van der Linden, Mathijs de Weerdt, Emir Demirovic

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 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

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

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

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Learning Variable Activity Initialisation for Lazy Clause Generation Solvers.

Ronald van Driel, Emir Demirovic, Neil Yorke-Smith

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience.

Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 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

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Optimal Decision Trees for Nonlinear Metrics.

Emir Demirovic, Peter J. Stuckey

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

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

Dataset, September, 2020

Divide and Learn: A Divide and Conquer Approach for Predict+Optimize.

Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey

CoRR, 2020

MurTree: Optimal Classification Trees via Dynamic Programming and Search.

Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey

CoRR, 2020

Improving Single and Multi-View Blockmodelling by Algebraic Simplification.

Rishabh Ramteke, Peter J. Stuckey, Jeffrey Chan, Kotagiri Ramamohanarao, James Bailey, Christopher Leckie, Emir Demirovic

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Core-Guided and Core-Boosted Search for CP.

Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems.

Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Dynamic Programming for Predict+Optimise.

Emir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Representative Solutions for Bi-Objective Optimisation.

Emir Demirovic, Nicolas Schwind

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Modeling and solving staff scheduling with partial weighted maxSAT.

Emir Demirovic, Nysret Musliu, Felix Winter

Ann. Oper. Res., 2019

Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions.

Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Christopher Leckie, Kotagiri Ramamohanarao, Tias Guns

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

An Investigation into Prediction + Optimisation for the Knapsack Problem.

Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Core-Boosted Linear Search for Incomplete MaxSAT.

Jeremias Berg, Emir Demirovic, Peter J. Stuckey

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search.

Emir Demirovic, Peter J. Stuckey

Proceedings of the Principles and Practice of Constraint Programming, 2019

Solution Approaches for an Automotive Paint Shop Scheduling Problem.

Felix Winter, Nysret Musliu, Emir Demirovic, Christoph Mrkvicka

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Robust Coalition Structure Generation.

Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts.

Emir Demirovic, Peter J. Stuckey

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 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

Proceedings of the Principles and Practice of Constraint Programming, 2018

Recoverable Team Formation: Building Teams Resilient to Change.

Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

MaxSAT-based large neighborhood search for high school timetabling.

Emir Demirovic, Nysret Musliu

Comput. Oper. Res., 2017

Modeling high school timetabling with bitvectors.

Emir Demirovic, Nysret Musliu

Ann. Oper. Res., 2017

SAT-Based Approaches for the General High School Timetabling Problem.

Emir Demirovic

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2012

Variable Neighborhood Search for Google Machine Reassignment problem.

Haris Gavranovic, Mirsad Buljubasic, Emir Demirovic

Electron. Notes Discret. Math., 2012

An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition - (Poster Presentation).

Emir Demirovic, Haris Gavranovic

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012