Journal on Satisfiability, Boolean Modeling and Computation, Volume 7

Volume 7, Number 1, 2010

Volume 7, Numbers 2-3, 2010

Volume 7, Number 4, 2011