PPaperPicks

Michael Hartisch

2 papers at tracked venues · 1 at CORE A* · active 2024–2025

Venues

Frequent coauthors

Leroy Chew
×1
Kevin-Martin Aigner
×1
Marc Goerigk
×1
Frauke Liers
×1
Arthur Miehlich
×1

Papers

  1. An Expansion-Based Approach for Quantified Integer Programming
    CP 2025 · Michael Hartisch,
    Leroy Chew
  2. A Framework for Data-Driven Explainability in Mathematical Optimization
    AAAI 2024 ·
    Kevin-Martin Aigner
    ,
    Marc Goerigk
    , Michael Hartisch,
    Frauke Liers
    ,
    Arthur Miehlich