TY - GEN
T1 - Pairwise cardinality networks
AU - Codish, Michael
AU - Zazon-Ivry, Moshe
N1 - Funding Information:
Supported by the G.I.F. grant 966-116.6 and by the Frankel Center for Computer Science at the Ben-Gurion University.
PY - 2010/12/1
Y1 - 2010/12/1
N2 - We introduce pairwise cardinality networks, networks of comparators, derived from pairwise sorting networks, which express cardinality constraints. We show that pairwise cardinality networks are superior to the cardinality networks introduced in previous work which are derived from odd-even sorting networks. Our presentation identifies the precise relationship between odd-even and pairwise sorting networks. This relationship also clarifies why pairwise sorting networks have significantly better propagation properties for the application of cardinality constraints.
AB - We introduce pairwise cardinality networks, networks of comparators, derived from pairwise sorting networks, which express cardinality constraints. We show that pairwise cardinality networks are superior to the cardinality networks introduced in previous work which are derived from odd-even sorting networks. Our presentation identifies the precise relationship between odd-even and pairwise sorting networks. This relationship also clarifies why pairwise sorting networks have significantly better propagation properties for the application of cardinality constraints.
UR - http://www.scopus.com/inward/record.url?scp=78650817430&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-17511-4_10
DO - 10.1007/978-3-642-17511-4_10
M3 - Conference contribution
AN - SCOPUS:78650817430
SN - 3642175104
SN - 9783642175107
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 154
EP - 172
BT - Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers
T2 - 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16
Y2 - 25 April 2010 through 1 May 2010
ER -