P
PaperPicks
Conferences
Researchers
Sponsors ♥
Michael Hartisch
2 papers at tracked venues · 1 at CORE A* · active 2024–2025
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×1
CP
×1
Frequent coauthors
Leroy Chew
×1
Kevin-Martin Aigner
×1
Marc Goerigk
×1
Frauke Liers
×1
Arthur Miehlich
×1
Papers
An Expansion-Based Approach for Quantified Integer Programming
BibTeX ⧉
CP 2025
·
Michael Hartisch
,
Leroy Chew
A Framework for Data-Driven Explainability in Mathematical Optimization
BibTeX ⧉
AAAI 2024
·
Kevin-Martin Aigner
,
Marc Goerigk
,
Michael Hartisch
,
Frauke Liers
,
Arthur Miehlich