BIRS Workshop Lecture Videos

Banff International Research Station Logo

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 Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International