Decision Procedures for Sequence Theories.

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

Published in: CAV (2) (2023)

Keyphrases

decision procedures
theorem proving
modal logic
automated reasoning
model theoretic
reasoning problems
artificial intelligence
conjunctive queries
machine learning
satisfiability problem
quantified boolean formulas
optimal solution
inference rules
query containment
presburger arithmetic