On the width of semialgebraic proofs and algorithms (Q4595958)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the width of semialgebraic proofs and algorithms |
scientific article; zbMATH DE number 6816358
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7932043671607971
0 references
0.7895767688751221
0 references
