Satisfiability solvers (2008)

by Carla P Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
Venue:Handbook of Knowledge Representation