Symmetries of Quantified Boolean Formulas.

Manuel Kauers, Martina Seidl

Browse the full SAT paper archive.