Login / Signup

Symmetries of Quantified Boolean Formulas.

Manuel KauersMartina Seidl
Published in: SAT (2018)
Keyphrases
  • quantified boolean formulas
  • decision procedures
  • universally quantified
  • reasoning tasks
  • propositional satisfiability
  • symmetry breaking
  • constraint programming
  • modal logic