Go to the corresponding LIPIcs Volume Portal 
Atserias, Albert ; Hakoniemi, Tuomas
pdfformat: 

@InProceedings{atserias_et_al:LIPIcs:2019:10846, author = {Albert Atserias and Tuomas Hakoniemi}, title = {{SizeDegree TradeOffs for SumsofSquares and Positivstellensatz Proofs}}, booktitle = {34th Computational Complexity Conference (CCC 2019)}, pages = {24:124:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771160}, ISSN = {18688969}, year = {2019}, volume = {137}, editor = {Amir Shpilka}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10846}, URN = {urn:nbn:de:0030drops108464}, doi = {10.4230/LIPIcs.CCC.2019.24}, annote = {Keywords: Proof complexity, semialgebraic proof systems, SumsofSquares, Positivstellensatz, tradeoffs, lower bounds, monomial size, degree} }
Keywords:  Proof complexity, semialgebraic proof systems, SumsofSquares, Positivstellensatz, tradeoffs, lower bounds, monomial size, degree  
Collection:  34th Computational Complexity Conference (CCC 2019)  
Issue Date:  2019  
Date of publication:  16.07.2019 