A Decision Procedure for (Co)datatypes in SMT Solvers.
Andrew ReynoldsJasmin Christian BlanchettePublished in: J. Autom. Reason. (2017)
Keyphrases
- data types
- decision making
- modulo theories
- decision makers
- database management systems
- data model
- decision process
- decision model
- database systems
- management system
- data structure
- statistical machine translation
- preprocessing
- decision rules
- decision problems
- sat solvers
- search procedure
- decision theory
- constraint solver