Smaller Selection Networks for Cardinality Constraints Encoding.

Michal Karpinski Marek Piotrów

Published in: CP (2015)

Keyphrases

cardinality constraints
social networks
entity relationship
boolean algebra
quantifier elimination
functional dependencies
deductive databases
constraint query languages
constraint satisfaction problems
integrity constraints
network structure