"Theory and Applications of Satisfiability Testing - SAT 2008, 11th ..."

Hans Kleine Büning, Xishun Zhao (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics