Certified Decision Procedures for Two-Counter Machines.

Andrej Dudenhefner

Published in: FSCD (2022)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
quantified boolean formulas
satisfiability problem
tight complexity bounds
inference rules
databases
database systems
heuristic search
integrity constraints
temporal logic
theorem prover