Go to the corresponding LIPIcs Volume Portal 
Fleming, Noah ; Pitassi, Toniann ; Robere, Robert
pdfformat: 

@InProceedings{fleming_et_al:LIPIcs.ITCS.2022.70, author = {Fleming, Noah and Pitassi, Toniann and Robere, Robert}, title = {{Extremely Deep Proofs}}, booktitle = {13th Innovations in Theoretical Computer Science Conference (ITCS 2022)}, pages = {70:170:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772174}, ISSN = {18688969}, year = {2022}, volume = {215}, editor = {Braverman, Mark}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/15666}, URN = {urn:nbn:de:0030drops156665}, doi = {10.4230/LIPIcs.ITCS.2022.70}, annote = {Keywords: Proof Complexity, Tradeoffs, Resolution, Cutting Planes} }
Keywords:  Proof Complexity, Tradeoffs, Resolution, Cutting Planes  
Collection:  13th Innovations in Theoretical Computer Science Conference (ITCS 2022)  
Issue Date:  2022  
Date of publication:  25.01.2022 