Monotone circuit lower bounds from resolution (Q5230347)
From MaRDI portal
scientific article; zbMATH DE number 7097053
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Monotone circuit lower bounds from resolution |
scientific article; zbMATH DE number 7097053 |
Statements
Monotone circuit lower bounds from resolution (English)
0 references
22 August 2019
0 references
circuit complexity
0 references
proof complexity
0 references
