%0 Conference Paper %1 conf/icalp/BortolottiMV25 %A Bortolotti, Alex %A Mastrolilli, Monaldo %A Vargas, Luis Felipe %B ICALP %D 2025 %E Censor-Hillel, Keren %E Grandoni, Fabrizio %E Ouaknine, Joël %E Puppis, Gabriele %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 34:1-34:19 %T On the Degree Automatability of Sum-Of-Squares Proofs. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2025.html#BortolottiMV25 %V 334 %@ 978-3-95977-372-0

@inproceedings{conf/icalp/BortolottiMV25, added-at = {2025-06-30T00:00:00.000+0200}, author = {Bortolotti, Alex and Mastrolilli, Monaldo and Vargas, Luis Felipe}, biburl = {https://www.bibsonomy.org/bibtex/2869bd99cb84a684f21f3dd2ad4920494/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2025}, editor = {Censor-Hillel, Keren and Grandoni, Fabrizio and Ouaknine, Joël and Puppis, Gabriele}, ee = {https://doi.org/10.4230/LIPIcs.ICALP.2025.34}, interhash = {a08e8c7fc9afe4b30db871f804fd8bba}, intrahash = {869bd99cb84a684f21f3dd2ad4920494}, isbn = {978-3-95977-372-0}, keywords = {dblp}, pages = {34:1-34:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2025-07-07T07:42:02.000+0200}, title = {On the Degree Automatability of Sum-Of-Squares Proofs.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2025.html#BortolottiMV25}, volume = 334, year = 2025 }