An two phase ABS method for solving over-determined systems of linear inequalities (Q2504095)

The authors present a multi-stage Abaffy-Broyden-Spedicato (ABS) algorithm for solving over-determined linear inequalities and a system combined with over-determined linear inequalities and equations. The method translates an inequalitites system to an equations system with slack variables whose explicit solution is given by the implicit LU algorithm and the Abaffy-Broyden-Spedicato algorithm. An upper bound for the running time of the algorithm is obtained.