Exponential separations using guarded extension variables
Authors: Emre Yolcu and Marijn Heule
Paper Information
| Title: | Exponential separations using guarded extension variables |
| Authors: | Emre Yolcu and Marijn Heule |
| Proceedings: | PC 2022 Program papers |
| Editors: | Marc Vinyals, Olaf Beyersdorff and Jan Johannsen |
| Keywords: | proof complexity, resolution, blocked clauses, extended resolution, separations |
| Pages: | 3 |
| Talk: | Aug 01 17:00 (Session 37I) |
| Paper: |  |