Certificates and relaxations for integer programming and the semi-group membership problem

Jean Lasserre, S. Zeron

We consider integer programming and the semi-group membership problem. We provide the following theorem of the alternative: the system Ax=b has no nonnegative integral solution x i…