Go to the corresponding LIPIcs Volume Portal 
de Rezende, Susanna F. ; Lauria, Massimo ; NordstrÃ¶m, Jakob ; Sokolov, Dmitry
pdfformat: 

@InProceedings{derezende_et_al:LIPIcs.CCC.2021.40, author = {de Rezende, Susanna F. and Lauria, Massimo and Nordstr\"{o}m, Jakob and Sokolov, Dmitry}, title = {{The Power of Negative Reasoning}}, booktitle = {36th Computational Complexity Conference (CCC 2021)}, pages = {40:140:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771931}, ISSN = {18688969}, year = {2021}, volume = {200}, editor = {Kabanets, Valentine}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2021/14314}, URN = {urn:nbn:de:0030drops143140}, doi = {10.4230/LIPIcs.CCC.2021.40}, annote = {Keywords: Proof complexity, Polynomial calculus, Nullstellensatz, Sumsofsquares, SheraliAdams} }
Keywords:  Proof complexity, Polynomial calculus, Nullstellensatz, Sumsofsquares, SheraliAdams  
Collection:  36th Computational Complexity Conference (CCC 2021)  
Issue Date:  2021  
Date of publication:  08.07.2021 