Space in Weak Propositional Proof Systems
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783319734521, 9783319734538

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Strong Size Lower Bounds for (a Subsystem of) Resolution

Space in Weak Propositional Proof Systems ◽

10.1007/978-3-319-73453-8_8 ◽

2017 ◽

pp. 105-118

Author(s):

Ilario Bonacina

Keyword(s):

Download Full-text

Space in Resolution

Space in Weak Propositional Proof Systems ◽

10.1007/978-3-319-73453-8_3 ◽

2017 ◽

pp. 29-40

Author(s):

Ilario Bonacina

Download Full-text

Resolution

Space in Weak Propositional Proof Systems ◽

10.1007/978-3-319-73453-8_2 ◽

2017 ◽

pp. 15-28

Author(s):

Ilario Bonacina

Download Full-text

Space in Polynomial Calculus

Space in Weak Propositional Proof Systems ◽

10.1007/978-3-319-73453-8_4 ◽

2017 ◽

pp. 41-57

Author(s):

Ilario Bonacina

Keyword(s):

Polynomial Calculus

Download Full-text

Some Graph-Based Formulas

Space in Weak Propositional Proof Systems ◽

10.1007/978-3-319-73453-8_7 ◽

2017 ◽

pp. 89-101

Author(s):

Ilario Bonacina

Download Full-text

Interlude: Cover Games

Space in Weak Propositional Proof Systems ◽

10.1007/978-3-319-73453-8_6 ◽

2017 ◽

pp. 71-88

Author(s):

Ilario Bonacina

Download Full-text

Pigeonhole Principles

Space in Weak Propositional Proof Systems ◽

10.1007/978-3-319-73453-8_5 ◽

2017 ◽

pp. 61-69

Author(s):

Ilario Bonacina

Download Full-text

Introduction

Space in Weak Propositional Proof Systems ◽

10.1007/978-3-319-73453-8_1 ◽

2017 ◽

pp. 1-12

Author(s):

Ilario Bonacina

Download Full-text