Go to the corresponding LIPIcs Volume Portal 
Fleming, Noah ; Göös, Mika ; Grosser, Stefan ; Robere, Robert
pdfformat: 

@InProceedings{fleming_et_al:LIPIcs.ITCS.2022.69, author = {Fleming, Noah and G\"{o}\"{o}s, Mika and Grosser, Stefan and Robere, Robert}, title = {{On SemiAlgebraic Proofs and Algorithms}}, booktitle = {13th Innovations in Theoretical Computer Science Conference (ITCS 2022)}, pages = {69:169:25}, 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/15665}, URN = {urn:nbn:de:0030drops156658}, doi = {10.4230/LIPIcs.ITCS.2022.69}, annote = {Keywords: Proof Complexity, Extended Formulations, Circuit Complexity, SheraliAdams} }
Keywords:  Proof Complexity, Extended Formulations, Circuit Complexity, SheraliAdams  
Collection:  13th Innovations in Theoretical Computer Science Conference (ITCS 2022)  
Issue Date:  2022  
Date of publication:  25.01.2022 