Journal on Satisfiability, Boolean Modeling and Computation, Volume 4

Volume 4, Number 1, April 2008

Volume 4, Number 2-4, September 2008

Special Issue on the 2007 Competitions