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…