Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6874103 | Information Processing Letters | 2018 | 7 Pages |
Abstract
We exploit symmetries to give short proofs for two prominent formula families of QBF proof complexity theory. 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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Manuel Kauers, Martina Seidl,