Efficient algorithms for certain satisfiability and linear programming problems

Bengt Aspvall. Efficient algorithms for certain satisfiability and linear programming problems. PhD thesis, Stanford University, USA, 1980. [doi]

Abstract

Abstract is missing.