Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: CoRR (2021)
Keyphrases
- data types
- horn clauses
- data model
- first order logic
- data structure
- user defined
- database systems
- database management systems
- logic programs
- inference rules
- inductive logic programming
- boolean formula
- database queries
- abstract data types
- np complete
- data mining algorithms
- data management
- preprocessing
- sat solvers
- data formats