Short Proofs in QBF Expansion
Author: Judith Clymo
Paper Information
| Title: | Short Proofs in QBF Expansion |
| Authors: | Judith Clymo |
| Proceedings: | PC Abstracts |
| Editors: | Jan Johannsen and Olaf Beyersdorff |
| Keywords: | QBF, Proof Complexity, Q-Resolution |
| Abstract: | ABSTRACT. We examine the relationship between Q-Res and Exp+Res under the natural and practically important restriction to families of QBFs with bounded quantifier complexity. We show that (dag-like) Q-Res is p-simulated by Exp+Res in this case. |
| Pages: | 2 |
| Paper: |  |