A Compact Encoding of Pseudo-Boolean Constraints into SAT.

Steffen Hlldobler, Norbert Manthey, Peter Steinke

Browse the full KI paper archive.