BIRS Workshop Lecture Videos
Polynomial Calculus Space and Resolution Width Kolodziejczyk, Leszek
I will talk about recent joint work with Nicola Galesi and Neil Thapen. Our main result is that if a $k$-CNF can be refuted in polynomial calculus (or, in fact, PCR) in space $s$, then it has a resolution refutation of width $O(s^2)$.
Item Citations and Data
Attribution-NonCommercial-NoDerivatives 4.0 International