A New Method for Solving Hard Satisfiability Problems (1992)

by B Selman, H Levesque, D Mitchell
Venue:In Proc. of the 10th National Conference on Artificial Intelligence (AAAI-92