Journal of Satisfiability, Boolean Modeling and Computation

ID: 315575