ANDERSEN, Kent; LOUVEAUX, Quentin; WEISMANTEL, Robert - Center for Operations Research and Econometrics (CORE), … - 2007
A central result in the theory of integer optimization states that a system of linear diophantine equations Ax = b has no integral solution if and only if there exists a vector in the dual lattice, y T A integral such that y T b is fractional. We extend this result to systems that both have...