Pebble Games, Proof Complexity, and Time-Space Trade-offs (Q2848360)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pebble Games, Proof Complexity, and Time-Space Trade-offs |
scientific article |
Statements
Pebble Games, Proof Complexity, and Time-Space Trade-offs (English)
0 references
26 September 2013
0 references
proof complexity
0 references
resolution
0 references
\(k\)-DNF resolution
0 references
polynomial calculus
0 references
PCR
0 references
cutting planes
0 references
separation
0 references
pebble games
0 references
pebbling formulas
0 references
SAT solving
0 references
DPLL
0 references
CDCL
0 references
survey paper
0 references
size-space trade-offs
0 references
proof space
0 references
proof size
0 references
