Space in Weak Propositional Proof Systems

• Κύριος συγγραφέας: Bonacina, Ilario (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Θέματα: Computer science.; Computers.; Computer science > Mathematics.; Computer Science.; Theory of Computation.; Mathematics of Computing.

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...

Πίνακας περιεχομένων:

• Introduction
• Total Space in Resolution
• Space in Polynomial Calculus
• Space Lower Bounds: Applications
• A Postlude: SETH and Resolution Size.