Amaral, P., M. W. Trosset, and P. Barahona Correcting an inconsistent system of linear inequalities by nonlinear programming. Houston, TX 77005: Department of Computational & Applied Mathematics, Rice University, 2000.