Book

Theory and Applications of Satisfiability Testing - SAT 2007

by Joao Marques-Silva, Karem A. Sakallah