Journal on Satisfiability, Boolean Modeling and Computation, Volume 2

Volume 2, Number 1-4, March 2006

Special Volume on the SAT 2005 Competitions and Evaluations
Articles Research Notes
a service of Schloss Dagstuhl - Leibniz Center for Informatics