Rank Lower Bounds for the Sherali-Adams Operator (Q5425367)
From MaRDI portal
scientific article; zbMATH DE number 5211295
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rank Lower Bounds for the Sherali-Adams Operator |
scientific article; zbMATH DE number 5211295 |
Statements
Rank Lower Bounds for the Sherali-Adams Operator (English)
0 references
13 November 2007
0 references
Propositional Proof Complexity
0 references
Lift and Project Proof Systems
0 references
Rank Lower Bounds
0 references
Sherali-Adams Relaxation
0 references
