Cardinality Networks: a theoretical and empirical study

  title={Cardinality Networks: a theoretical and empirical study},
  author={Roberto Javier As{\'i}n Ach{\'a} and Robert Nieuwenhuis and Albert Oliveras and Enric Rodr{\'i}guez-Carbonell},
We introduce Cardinality Networks, a new CNF encoding of cardinality constraints. It improves upon the previously existing encodings such as the sorting networks of Eén and Sörensson (JSAT 2:1–26, 2006) in that it requires much less clauses and auxiliary variables, while arc consistency is still preserved: e.g., for a constraint x 1 + ... + x n  ≤ k, as soon as k variables among the x i ’s become true, unit propagation sets all other x i ’s to false. Our encoding also still admits incremental… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 118 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 73 extracted citations

119 Citations

Citations per Year
Semantic Scholar estimates that this publication has 119 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…