Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles (Q4976395)
From MaRDI portal
scientific article; zbMATH DE number 6754660
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles |
scientific article; zbMATH DE number 6754660 |
Statements
Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles (English)
0 references
28 July 2017
0 references
proof complexity
0 references
expander
0 references
perfect matching
0 references
resolution
0 references
width
0 references
