TFNP Characterizations of Proof Systems and Monotone Circuits

Sam Buss, Noah Fleming, Russell Impagliazzo. TFNP Characterizations of Proof Systems and Monotone Circuits. Electronic Colloquium on Computational Complexity (ECCC), TR22, 2022. [doi]

Abstract

Abstract is missing.