From Proof Complexity to Circuit Complexity via Interactive Protocols

Noel Arteche, Erfan Khaniki, Ján Pich, Rahul Santhanam. From Proof Complexity to Circuit Complexity via Interactive Protocols. In Karl Bringmann, Martin Grohe, Gabriele Puppis, Ola Svensson, editors, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024, July 8-12, 2024, Tallinn, Estonia. Volume 297 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Abstract

Abstract is missing.