A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT.

Kshitij Bansal Andrew Reynolds Clark W. Barrett Cesare Tinelli

Published in: IJCAR (2016)

Keyphrases

finite sets
cardinality constraints
piecewise linear
database schema
functional dependencies
linearly separable
schema mappings
entity relationship
integrity constraints
data sets
decision trees
decision rules
deductive databases
knowledge base
upper bound