2 papers
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…
cs.LG2024
Towards Robust Interpretable Surrogates for Optimization
Marc Goerigk, Michael Hartisch, Sebastian Merten
An important factor in the practical implementation of optimization models is the acceptance by the intended users. This is influenced among other factors by the interpretability o…