Journal on Satisfiability, Boolean Modeling and Computation

ISSN 1574-0617