"Fifty-Five Solvers in Vancouver: The SAT 2004 Competition."

Daniel Le Berre, Laurent Simon (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics