Journal on Satisfiability, Boolean Modeling and Computation, Volume 1

Volume 1, Number 1, March 2006

Articles

Volume 1, Number 2, December 2006

Articles

Volume 1, Numbers 3-4, May 2007

Special Issue on SAT/CP Integration
a service of Schloss Dagstuhl - Leibniz Center for Informatics