Emir Demirovic
Orcid: 0000-0003-1587-5582Affiliations:
- Delft University of Technology, The Netherlands
- University of Melbourne, School of Computing and Information Systems, Australia (former)
According to our database1,
Emir Demirovic
authored at least 47 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization.
CoRR, 2024
Optimal or Greedy Decision Trees? Revisiting their Objectives, Tuning, and Performance.
CoRR, 2024
CoRR, 2024
Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
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.
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.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Auton. Agents Multi Agent Syst., October, 2023
Optimal Decision Trees for Separable Objectives: Pushing the Limits of Dynamic Programming.
CoRR, 2023
Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the International Conference on Machine Learning, 2023
Solving the Multi-Choice Two Dimensional Shelf Strip Packing Problem with Time Windows.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
2022
J. Mach. Learn. Res., 2022
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2022
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.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
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.
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.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
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".
Dataset, September, 2020
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Ann. Oper. Res., 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019
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.
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
2018
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.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
Comput. Oper. Res., 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2012
Electron. Notes Discret. Math., 2012
An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition - (Poster Presentation).
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012