Polynomial Calculus Space and Resolution Width

Explore the intricacies of polynomial calculus space and resolution width in this 22-minute IEEE conference talk presented by Nicola Galesi, Leszek A. Kolodziejczyk, and Neil Thapen. Delve into proof complexity, focusing on resolution proof systems and space complexity. Examine proof techniques such as contradiction and backward induction, and discover a combinatorial characterization of total spaces with squared polynomial calculus. Investigate the consequences of these findings and consider whether the presented bounds are tight. Gain valuable insights into advanced mathematical concepts and their applications in proof theory.