collaborators

1 paper

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…