CNF Encodings of Cardinality Constraints Based on Comparator Networks.

Michal Karpinski

Published in: CoRR (2019)

Keyphrases

cardinality constraints
boolean algebra
social networks
functional dependencies
constraint query languages
linear programming
constraint databases