Space in Weak Propositional Proof Systems
Bonacina, Ilario![Space in Weak Propositional Proof Systems](https://support.digitalhusky.com/media/annotations/sorted/319/31907923/CHSBZCOP0331907923.jpg)
This book considers logical proof systems from the point of view of their space complexity. After an introduction to propositional proof complexity the author structures the book into three main parts. Part I contains two chapters on resolution, one containing results already known in the literature before this work and one focused on space in resolution, and the author then moves on to polynomial calculus and its space complexity with a focus...