B.: Satisfiability solvers (2008)

by C P Gomes, H Kautz, A Sabharwal, Selman
Venue:Handbook of Knowledge Representation