DMCA

Translating pseudo-boolean constraints into SAT (2006)

by Niklas Eén , Niklas Sörensson
Venue:Journal on Satisfiability, Boolean Modeling and Computation
Citations:180 - 2 self