Book

Theory and Applications of Satisfiability Testing - SAT 2011

by Karem A. Sakallah