Space in Weak Propositional Proof Systems
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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- Introduction
- Total Space in Resolution
- Space in Polynomial Calculus
- Space Lower Bounds: Applications
- A Postlude: SETH and Resolution Size.
