Mixed-integer linear representability, disjunctions, and variable elimination

Amitabh Basu, Kipp Martin, Christopher Ryan +1

Jeroslow and Lowe gave an exact geometric characterization of subsets of ${\mathbb{R}}^n$ that are projections of mixed-integer linear sets, a.k.a MILP-representable sets. We give an…