Articoli correlati a Space in Weak Propositional Proof Systems
Sinossi
Introduction.- Total Space in Resolution.- Space in Polynomial Calculus.- Space Lower Bounds: Applications.- A Postlude: SETH and Resolution Size.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.