Login / Signup
Symmetries of Quantified Boolean Formulas.
Manuel Kauers
Martina Seidl
Published in:
SAT (2018)
Keyphrases
</>
quantified boolean formulas
decision procedures
universally quantified
reasoning tasks
propositional satisfiability
symmetry breaking
constraint programming
modal logic