Average-Case Hardness of Proving Tautologies and Theorems
Author: Hunter Monroe
Paper Information
| Title: | Average-Case Hardness of Proving Tautologies and Theorems |
| Authors: | Hunter Monroe |
| Proceedings: | PC 2022 Program papers |
| Editors: | Marc Vinyals, Olaf Beyersdorff and Jan Johannsen |
| Keywords: | Proof complexity, Average-case complexity, Non-optimality of proof systems |
| Pages: | 15 |
| Talk: | Aug 01 14:00 (Session 34I) |
| Paper: |  |