An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.

Amar Shah Federico Mora Sanjit A. Seshia

Published in: AAAI (2024)

Keyphrases

satisfiability modulo theories
data types
modulo theories
answer set programming
data model
database systems
sat solvers
data structure
database management systems
constraint solvers
boolean variables
machine learning
orders of magnitude
constraint satisfaction problems
logic programs
relational databases
database