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]

Authors

Sam Buss

This author has not been identified. Look up 'Sam Buss' in Google

Noah Fleming

This author has not been identified. Look up 'Noah Fleming' in Google

Russell Impagliazzo

This author has not been identified. Look up 'Russell Impagliazzo' in Google