Narrow proofs may be spacious (Q2931413)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Narrow proofs may be spacious |
scientific article |
Statements
Narrow proofs may be spacious (English)
0 references
25 November 2014
0 references
lower bound
0 references
pebble game
0 references
pebbling contradiction
0 references
proof complexity
0 references
resolution
0 references
separation
0 references
space of a proof
0 references
width of a proof
0 references
