Decision Procedures for Sequence Theories (Technical Report).

Artur Jez Anthony W. Lin Oliver Markgraf Philipp Rümmer

Published in: CoRR (2023)

Keyphrases

decision procedures
technical report
modal logic
theorem proving
automated reasoning
model theoretic
reasoning problems
conjunctive queries
satisfiability problem
quantified boolean formulas
databases
artificial intelligence
data analysis
query containment