Simulations between proof systems
Author: Nikita Gaevoy
Paper Information
| Title: | Simulations between proof systems |
| Authors: | Nikita Gaevoy |
| Proceedings: | PC 2022 Program papers |
| Editors: | Marc Vinyals, Olaf Beyersdorff and Jan Johannsen |
| Keywords: | proof complexity, propositional proof systems, optimal proof systems, automatizability of proof systems |
| Pages: | 3 |
| Talk: | Aug 01 14:30 (Session 34I) |
| Paper: |  |