The Symmetry Rule for Quantified Boolean Formulas
Authors: Manuel Kauers and Martina Seidl
Paper Information
| Title: | The Symmetry Rule for Quantified Boolean Formulas |
| Authors: | Manuel Kauers and Martina Seidl |
| Proceedings: | PC Abstracts |
| Editors: | Jan Johannsen and Olaf Beyersdorff |
| Keywords: | Quantified Boolean Formulas, Q-Resolution, Symmetry Rule |
| Abstract: | ABSTRACT. We extend QBF resolution with a rule for exploiting symmetries and analyze the impact on the power of the new proof system. |
| Pages: | 2 |
| Paper: |  |