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
Part, Fedor; Tzameret, Iddo Resolution with counting: dag-like lower bounds and different moduli. (English) Zbl 07355181 Comput. Complexity 30, No. 1, Paper No. 2, 71 p. (2021). MSC: 03F20 68Q17 13P15 PDFBibTeX XMLCite \textit{F. Part} and \textit{I. Tzameret}, Comput. Complexity 30, No. 1, Paper No. 2, 71 p. (2021; Zbl 07355181) 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
Filmus, Yuval Another look at degree lower bounds for polynomial calculus. (English) Zbl 1454.03077 Theor. Comput. Sci. 796, 286-293 (2019). MSC: 03F20 13P10 13P25 PDFBibTeX XMLCite \textit{Y. Filmus}, Theor. Comput. Sci. 796, 286--293 (2019; Zbl 1454.03077) Full Text: DOI
Berkholz, Christoph The relation between polynomial calculus, Sherali-Adams, and sum-of-squares proofs. (English) Zbl 1491.03077 Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 11, 14 p. (2018). MSC: 03F20 13P10 68Q15 90C22 90C26 PDFBibTeX XMLCite \textit{C. Berkholz}, LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 11, 14 p. (2018; Zbl 1491.03077) Full Text: DOI
Passmore, Grant Olney Decidability of univariate real algebra with predicates for rational and integer powers. (English) Zbl 1465.03048 Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 181-196 (2015). MSC: 03B25 03B35 13J30 PDFBibTeX XMLCite \textit{G. O. Passmore}, Lect. Notes Comput. Sci. 9195, 181--196 (2015; Zbl 1465.03048) Full Text: DOI arXiv