Cardinality Networks and Their Applications.

Roberto Asn, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell

Browse the full SAT paper archive.