A Degree--Size Relation for Resolution over Polynomials

Shuo Pang

For every constant-width CNF, we show that linear degree in polynomial calculus (PC) implies exponential size in resolution over constant-degree polynomials, over the same prime fi…