A Decision Procedure for (Co)datatypes in SMT Solvers.

Andrew Reynolds Jasmin Christian Blanchette

Published in: CADE (2015)

Keyphrases

data types
decision making
modulo theories
data structure
data model
decision makers
database management systems
decision rules
data mining algorithms
data mining
database systems
data analysis