Approaches to Diagnosing Infeasible Linear Programs

This paper addresses the problem of diagnosing an infeasible linear program. In practice, there are several approaches one may take, most generally using the Phase I dual variables as an initial guide. Other approaches, however, have emerged to complement the traditional ones. These and new approaches are presented here with the aim of building a toolkit for automatic reasoning when an LP expert is not available.

INFORMS Journal on Computing, ISSN 1091-9856, was published as ORSA Journal on Computing from 1989 to 1995 under ISSN 0899-1499.