On an optimal constraint aggregation method for integer programming and on an analytic expression of the number of integer points in a polytope

Pierre-Louis Poirion, Vu Khac Ky, Leo Liberti

In this paper we give a new aggregation framework for linear Diophantine equations. In particular, we prove that an aggregated system of minimum size can be built in polynomial tim…