Short proofs for some symmetric Quantified Boolean Formulas.

Manuel Kauers Martina Seidl

Published in: Inf. Process. Lett. (2018)

Keyphrases

quantified boolean formulas
decision procedures
theorem proving
modal logic
automated reasoning
reasoning tasks
theorem prover
universally quantified
query language
propositional satisfiability
machine learning
state space
temporal logic