Login / Signup
Short Proofs for Some Symmetric Quantified Boolean Formulas.
Manuel Kauers
Martina Seidl
Published in:
CoRR (2018)
Keyphrases
</>
quantified boolean formulas
decision procedures
theorem proving
modal logic
universally quantified
reasoning tasks
theorem prover
automated reasoning
propositional satisfiability
boolean formula