Leram - Feasibility and Infeasibility in Optimization: : Algorithms and Computational Methods: 118