Short Proofs for Some Symmetric Quantified Boolean Formulas

04/04/2018
by   Manuel Kauers, et al.
0

We exploit symmetries to give short proofs for two prominent formula families of QBF proof complexity. On the one hand, we employ symmetry breakers. On the other hand, we enrich the (relatively weak) QBF resolution calculus Q-Res with the symmetry rule and obtain separations to powerful QBF calculi.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset