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

Andrew Reynolds Jasmin Christian Blanchette

Published in: IJCAI (2016)

Keyphrases

data types
modulo theories
decision making
decision makers
data structure
database systems
influence diagrams
decision rules
decision process
feature extraction
data model
nearest neighbor
data sets
database management systems
search procedure
quantified boolean formulas
real world