Space in Polynomial Calculus
In this chapter we consider in detail the propositional proof system polynomial calculus, briefly introduced in Sect. 1.1.2. We introduce some complexity measures—size, degree, monomial space and total space—and we show some techniques useful to prove lower bounds on those.
Unable to display preview. Download preview PDF.