Artículos relacionados a Space in Weak Propositional Proof Systems
Sinopsis
Introduction.- Total Space in Resolution.- Space in Polynomial Calculus.- Space Lower Bounds: Applications.- A Postlude: SETH and Resolution Size.
"Sinopsis" puede pertenecer a otra edición de este libro.