Sam Buss, Noah Fleming, Russell Impagliazzo. TFNP Characterizations of Proof Systems and Monotone Circuits. Electronic Colloquium on Computational Complexity (ECCC), TR22, 2022. [doi]
@article{BussFI22,
title = {TFNP Characterizations of Proof Systems and Monotone Circuits},
author = {Sam Buss and Noah Fleming and Russell Impagliazzo},
year = {2022},
url = {https://eccc.weizmann.ac.il/report/2022/141},
researchr = {https://researchr.org/publication/BussFI22},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {TR22},
}