A New Method for Solving Hard Satisfiability Problems (1992)

by Bart Selman, Hector Levesque, David Mitchell
Venue:AAAI