A New Method for Solving Hard Satisfiability Problems

Bart Selman, Hector J. Levesque, David G. Mitchell. A New Method for Solving Hard Satisfiability Problems. In AAAI. pages 440-446, 1992.

Abstract

Abstract is missing.