An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.
Amar ShahFederico MoraSanjit A. SeshiaPublished in: CoRR (2023)
Keyphrases
- satisfiability modulo theories
- data types
- modulo theories
- answer set programming
- data structure
- sat solvers
- data model
- database management systems
- database systems
- boolean variables
- orders of magnitude
- preprocessing
- management system
- database
- data mining algorithms
- logic programs
- simulated annealing
- search algorithm
- knowledge base
- learning algorithm