De Rezende, Susanna F.; Meir, Or; Nordström, Jakob; Robere, Robert Nullstellensatz size-degree trade-offs from reversible pebbling. (English) Zbl 1522.03319 Comput. Complexity 30, No. 1, Paper No. 4, 45 p. (2021). MSC: 03F20 13P25 68Q25 PDFBibTeX XMLCite \textit{S. F. De Rezende} et al., Comput. Complexity 30, No. 1, Paper No. 4, 45 p. (2021; Zbl 1522.03319) Full Text: DOI arXiv Link
De Rezende, Susanna F.; Nordström, Jakob; Meir, Or; Robere, Robert Nullstellensatz size-degree trade-offs from reversible pebbling. (English) Zbl 1522.03320 Shpilka, Amir (ed.), 34th computational complexity conference, CCC 2019, New Brunswick, NJ, USA, July 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 137, Article 18, 16 p. (2019). MSC: 03F20 13P25 68Q25 PDFBibTeX XMLCite \textit{S. F. De Rezende} et al., LIPIcs -- Leibniz Int. Proc. Inform. 137, Article 18, 16 p. (2019; Zbl 1522.03320) Full Text: DOI
Lauria, Massimo; Nordström, Jakob Tight size-degree bounds for sums-of-squares proofs. (English) Zbl 1422.03125 Comput. Complexity 26, No. 4, 911-948 (2017). MSC: 03F20 90C22 PDFBibTeX XMLCite \textit{M. Lauria} and \textit{J. Nordström}, Comput. Complexity 26, No. 4, 911--948 (2017; Zbl 1422.03125) Full Text: DOI arXiv Link