Journal on Satisfiability, Boolean Modeling and Computation, Volume 8

Volume 8, Numbers 1/2, 2012

Volume 8, 2014