1. Canonical cuts on the unit hypercube;Balas;SIAM J. Appl. Math.,1972
2. Truth maintenance systems in process synthesis;Beltramini;National AIChE Meeting, Houston,1989
3. Logical deduction via linear programming;Cavalier,1987
4. Integer programming problems for which a simple rounding type of algorithm works;Chandrasekharan,1984