%0 Conference Paper %1 conf/innovations/BussFI23 %A Buss, Sam %A Fleming, Noah %A Impagliazzo, Russell %B ITCS %D 2023 %E Kalai, Yael Tauman %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 30:1-30:40 %T TFNP Characterizations of Proof Systems and Monotone Circuits. %U http://dblp.uni-trier.de/db/conf/innovations/innovations2023.html#BussFI23 %V 251 %@ 978-3-95977-263-1

@inproceedings{conf/innovations/BussFI23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Buss, Sam and Fleming, Noah and Impagliazzo, Russell}, biburl = {https://www.bibsonomy.org/bibtex/2b8f5637ac5e8ad36031ae9a391fd5bdb/dblp}, booktitle = {ITCS}, crossref = {conf/innovations/2023}, editor = {Kalai, Yael Tauman}, ee = {https://doi.org/10.4230/LIPIcs.ITCS.2023.30}, interhash = {3fca889f875bb665015752fd14e0c2c1}, intrahash = {b8f5637ac5e8ad36031ae9a391fd5bdb}, isbn = {978-3-95977-263-1}, keywords = {dblp}, pages = {30:1-30:40}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:26:54.000+0200}, title = {TFNP Characterizations of Proof Systems and Monotone Circuits.}, url = {http://dblp.uni-trier.de/db/conf/innovations/innovations2023.html#BussFI23}, volume = 251, year = 2023 }