Journal on Satisfiability, Boolean Modeling and Computation, Volume 6

Volume 6, Number 1-3, May 2009

Volume 6, Number 4, June 2009

Special Issue on Parallel SAT Solving