A new method for solving hard satisfiability problems (1992)

by B Selman, H J Levesque, D G Mitchell
Venue:In Proc. of AAAI-92