Journal on Satisfiability, Boolean Modelling and Computation