Book

Theory and Applications of Satisfiability Testing

by Holger H. Hoos, David G. Mitchell