Sum of squares bounds for the ordering principle (Q5092489)
From MaRDI portal
scientific article; zbMATH DE number 7561766
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sum of squares bounds for the ordering principle |
scientific article; zbMATH DE number 7561766 |
Statements
21 July 2022
0 references
sum of squares hierarchy
0 references
proof complexity
0 references
ordering principle
0 references
Sum of squares bounds for the ordering principle (English)
0 references
