Amaral, P., M. W. Trosset, and P. Barahona Correcting an Inconsistent System of Linear Inequalities by Nonlinear Programming. TX 77005, Houston: Department of Computational & Applied Mathematics, Rice University, 2000.