Amaral, P., and P. Barahona. "After infeasibility in linear programming." Proceedings of CP-AI-OR99 workshop on integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization problems. Vol. 1. Universit,  1999.