Towards Understanding and Harnessing the Potential of Clause Learning

P. Beame, H. Kautz, A. Sabharwal

Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problems,…