Reasoning with Finite Sets and Cardinality Constraints in SMT.

Kshitij Bansal Clark W. Barrett Andrew Reynolds Cesare Tinelli

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

finite sets
cardinality constraints
piecewise linear
linearly separable
functional dependencies
database schema
knowledge representation
entity relationship
knowledge base
schema mappings
database
databases
positive and negative examples
integrity constraints
closed sets