Certificates of linear mixed integer infeasibility

in Operations Research Letters (2008), 36(6), 734-738

We derive a certificate of integral infeasibility for linear systems with equations and inequalities by generating algebraically an outer description of a lattice point free polyhedron that contains the ... [more ▼]

We derive a certificate of integral infeasibility for linear systems with equations and inequalities by generating algebraically an outer description of a lattice point free polyhedron that contains the given integer infeasible system. The extension to the mixed integer setting is also derived. [less ▲]