Emir Demirović
16 papers · 2017–2026 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🗺️ Taxonomy Completionist (17) 🌍 Conference Polyglot · Silver 🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge · Silver 🏃 Academic Marathon · Sprint
🏆
Keyword Champion
📈
Trend Setter
🔥
Unstoppable · Bronze
💎
Century Club · Bronze
🗃️
Keyword Collector
(67)
Venues
Top co-authors
Research topics
Keywords
decision tree
(7)
dynamic programming
(7)
optimal decision tree
(4)
combinatorial optimization
(3)
decision tree policy
(2)
predict and optimize
(2)
branch and bound
(1)
formal verification
(1)
explainable ai
(1)
linear programming
(1)
cardinality constraint
(1)
survival analysis
(1)
pareto optimality
(1)
divide and conquer
(1)
model interpretability
(1)
anytime algorithm
(1)
tree structure
(1)
discrete optimization
(1)
greedy algorithm
(1)
continuous time
(1)
Papers
Using Certifying Constraint Solvers for Generating Step-wise Explanations
AAAI 2026
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
AAAI 2025
Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound
AAAI 2025
Optimal Survival Trees: A Dynamic Programming Approach
AAAI 2024
Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths
AAAI 2024
Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach
ICML 2024
Blossom: an Anytime Algorithm for Computing Optimal Decision Trees
ICML 2023
Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming
NeurIPS 2023
Safety Verification of Decision-Tree Policies in Continuous Time
NeurIPS 2023
A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems
AAAI 2022
Fair and Optimal Decision Trees: A Dynamic Programming Approach
NeurIPS 2022
MurTree: Optimal Decision Trees via Dynamic Programming and Search
JMLR 2022
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
AAAI 2021
Optimal Decision Trees for Nonlinear Metrics
AAAI 2021
Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions
IJCAI 2019
SAT-Based Approaches for the General High School Timetabling Problem
IJCAI 2017