Book

Theory and Applications of Satisfiability Testing - SAT 2008

by Hans Kleine Büning, Xishun Zhao