A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained.

Norbert Manthey, Tobias Philipp, Peter Steinke

Browse the full KI paper archive.