A new method for solving hard satisfiability problems (1995)

by B Selman, D Mitchell, H Levesque
Venue:in: Proc. AAAI-92