Journal on Satisfiability Boolean Modeling and Computation | Revista