Detecting Cardinality Constraints in CNF.

Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey

Browse the full SAT paper archive.