Login / Signup
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