Analyzing Infeasible Mixed-Integer and Integer Linear Programs. - Olivier Guieu; John W. Chinneck (INFORMS J. Comput., 1999)