A new method for solving large Satisfiability problems (1991)

by B Selman, D Mitchell, H J Levesque