1. An Implementation of Karmarkar's Algorithm for Linear Programming;Adler,1986
2. R1 Revisited: Four Years in the Trenches;Bachant;AI Magazine,1984
3. Canonical Cuts on the Unit Hypercube;Balas;SIAM Journal of Applied Mathematics,1972
4. Blair, C.E., R.G. Jeroslow and J.K. Lowe, Some Results and Experiments in Programming Techniques for Propositional Logic, to appear in Computers and Operations Research.