A New Method for Solving Hard Satisfiability Problems.

Bart Selman, Hector J. Levesque, David G. Mitchell

Browse the full AAAI paper archive.