4 citations · 5 across the 12 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.DM2025
An Expansion-Based Approach for Quantified Integer Programming
Michael Hartisch, Leroy Chew
Quantified Integer Programming (QIP) bridges multiple domains by extending Quantified Boolean Formulas (QBF) to incorporate general integer variables and linear constraints while a…
math.OC2025
Feature Selection for Data-driven Explainable Optimization
Kevin-Martin Aigner, Marc Goerigk, Michael Hartisch +3
Mathematical optimization, although often leading to NP-hard models, is now capable of solving even large-scale instances within reasonable time. However, the primary focus is ofte…