On the Width of Semialgebraic Proofs and Algorithms (Q4595958)
From MaRDI portal
scientific article; zbMATH DE number 6816358
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Width of Semialgebraic Proofs and Algorithms |
scientific article; zbMATH DE number 6816358 |
Statements
On the Width of Semialgebraic Proofs and Algorithms (English)
0 references
7 December 2017
0 references
cutting planes
0 references
Lovasz-Schrijver
0 references
proof width
0 references
proof complexity
0 references
