Solving propositional satisfiability problems (1990)

by R G Jeroslow, J Wang
Venue:Annals of Mathematics and Artificial Intelligence