Improved algorithms for linear inequalities with two variables per inequalityEdith CohenNimrod Megiddot1991STOC 1991