Pairwise Cardinality Networks
From MaRDI portal
Publication:3066098
DOI10.1007/978-3-642-17511-4_10zbMath1253.68112OpenAlexW1500127208MaRDI QIDQ3066098
Michael Codish, Moshe Zazon-Ivry
Publication date: 7 January 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.9213
Related Items (7)
Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency ⋮ Sorting networks: to the end and back again ⋮ Parberry’s pairwise sorting network revealed ⋮ Resizing cardinality constraints for MaxSAT ⋮ \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT ⋮ Encoding cardinality constraints using multiway merge selection networks ⋮ meSAT: multiple encodings of CSP to SAT
This page was built for publication: Pairwise Cardinality Networks
