Journal on Satisfiability, Boolean Modeling and Computation, Volume 8

Volume 8, Numbers 1/2, 2012

Volume 8, Numbers 3/4, 2012

Volume 8, Numbers 3/4, 2014