Iterated lower bound formulas: a diagonalization-based approach to proof complexity (Q6086997)
From MaRDI portal
scientific article; zbMATH DE number 7765167
Language | Label | Description | Also known as |
---|---|---|---|
English | Iterated lower bound formulas: a diagonalization-based approach to proof complexity |
scientific article; zbMATH DE number 7765167 |
Statements
Iterated lower bound formulas: a diagonalization-based approach to proof complexity (English)
0 references
14 November 2023
0 references
ideal proof system
0 references
algebraic complexity
0 references
circuit complexity lower bounds
0 references
diagonalization
0 references
iterated lower bound formulas
0 references
proof complexity lower bounds
0 references