Translating pseudo-Boolean constraints into SAT (0)

by N Een, N Sorensson
Venue:Journal on Satis Boolean Modeling and Computation