Login / Signup
Symmetries of Quantified Boolean Formulas.
Manuel Kauers
Martina Seidl
Published in:
CoRR (2018)
Keyphrases
</>
quantified boolean formulas
decision procedures
reasoning tasks
universally quantified
propositional satisfiability
artificial intelligence
bayesian networks
orders of magnitude
theorem proving