Journal on Satisfiability, Boolean Modeling and Computation

JSAT Home Page

JSAT @ IOS Press