Small Depth Proof Systems (Q2849945)
From MaRDI portal
scientific article; zbMATH DE number 7140818
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Small Depth Proof Systems |
scientific article; zbMATH DE number 7140818 |
Statements
Small Depth Proof Systems (English)
0 references
20 September 2013
0 references
6 December 2019
0 references
proof complexity
0 references
circuit complexity
0 references
proof circuits
0 references
small-depth proofs
0 references
