Sciweavers

LPAR
2010
Springer
13 years 8 months ago
Pairwise Cardinality Networks
Abstract. We introduce pairwise cardinality networks, networks of comparators, derived from pairwise sorting networks, which express cardinality constraints. We show that pairwise ...
Michael Codish, Moshe Zazon-Ivry
SAT
2009
Springer
124views Hardware» more  SAT 2009»
14 years 5 months ago
Cardinality Networks and Their Applications
We introduce Cardinality Networks, a new CNF encoding of cardinality constraints. It improves upon the previously existing encodings such as the sorting networks of [ES06] in that ...
Roberto Asín, Robert Nieuwenhuis, Albert Ol...