Proof complexity meets algebra (Q5111442)
From MaRDI portal
scientific article; zbMATH DE number 7204562
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof complexity meets algebra |
scientific article; zbMATH DE number 7204562 |
Statements
27 May 2020
0 references
constraint satisfaction problem
0 references
proof complexity
0 references
reductions
0 references
gap theorems
0 references
Proof complexity meets algebra (English)
0 references
