Bonacina, Ilario
Space in Weak Propositional Proof Systems
1. Introduction
Ilario Bonacina
Part I. General Results and Techniques
2. Resolution
Ilario Bonacina
3. Space in Resolution
Ilario Bonacina
4. Space in Polynomial Calculus
Ilario Bonacina
Part II. Applications
5. Pigeonhole Principles
Ilario Bonacina
6. Interlude: Cover Games
Ilario Bonacina
7. Some Graph-Based Formulas
Ilario Bonacina
Part III. A Postlude
8. Strong Size Lower Bounds for (a Subsystem of) Resolution
Ilario Bonacina
Keywords: Computer Science, Theory of Computation, Mathematics of Computing
- Author(s)
- Bonacina, Ilario
- Publisher
- Springer
- Publication year
- 2017
- Language
- en
- Edition
- 1
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783319734538
- Printed ISBN
- 978-3-319-73452-1