Smaller Selection Networks for Cardinality Constraints Encoding.

Michal Karpinski Marek Piotrów

Published in: CoRR (2015)

Keyphrases

cardinality constraints
boolean algebra
functional dependencies
quantifier elimination
social networks
integrity constraints
database schema
entity relationship
simulated annealing
network structure
relational databases