Space in Weak Propositional Proof Systems - Bonacina, Ilario; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Introduction -- Total Space in Resolution -- Space in Polynomial Calculus -- Space Lower Bounds: Applications -- A Postlude: SETH and Resolution Size.
Keywords: Computers; Computer science-Mathematics.; Theory of Computation; Mathematics of Computing