Polynomial Calculus Space and Resolution Width

Nicola Galesi, Leszek Aleksander Kolodziejczyk, Neil Thapen. Polynomial Calculus Space and Resolution Width. In David Zuckerman, editor, 60th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2019, Baltimore, Maryland, USA, November 9-12, 2019. pages 1325-1337, IEEE Computer Society, 2019. [doi]

Abstract

Abstract is missing.