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

Kshitij Bansal Clark W. Barrett Andrew Reynolds Cesare Tinelli

Published in: CoRR (2017)

Keyphrases

finite sets
cardinality constraints
piecewise linear
entity relationship
functional dependencies
schema mappings
database schema
linearly separable
data exchange
databases
knowledge base
objective function
feature space