"Automated Testing and Debugging of SAT and QBF Solvers."

Robert Brummayer, Florian Lonsing, Armin Biere (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics