An Introduction to Lower Bounds on Resolution Proof Systems (Q5135261)
From MaRDI portal
scientific article; zbMATH DE number 7276059
Language | Label | Description | Also known as |
---|---|---|---|
English | An Introduction to Lower Bounds on Resolution Proof Systems |
scientific article; zbMATH DE number 7276059 |
Statements
An Introduction to Lower Bounds on Resolution Proof Systems (English)
0 references
19 November 2020
0 references
proof complexity
0 references
resolution
0 references
size
0 references
space
0 references
tradeoffs
0 references
0 references