Sets with Cardinality Constraints in Satisfiability Modulo Theories.

Philippe Suter Robin Steiger Viktor Kuncak

Published in: VMCAI (2011)

Keyphrases

cardinality constraints
closed sets
boolean algebra
functional dependencies
quantifier elimination
satisfiability modulo theories
real numbers
database systems
dynamic programming
rough sets
database schema
inductive inference
entity relationship