"Theory and Applications of Satisfiability Testing - SAT 2006, 9th ..."

Armin Biere, Carla P. Gomes (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics