//-->
Integral Farkas type lemmas for systems with equalities and inequalities
ANDERSEN, Kent, (2007)
Certificates of linear mixed integer infeasibility
Andersen, Kent, (2008)