Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems (Q1947040): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Q386150 / rank
Normal rank
 
Property / author
 
Property / author: Stefan S. Dantchev / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2018655187 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hardness amplification in proof complexity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lower Bounds for Lovász–Schrijver Systems and Beyond Follow from Multiparty Communication Complexity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3002766 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integrality gaps for Sherali-Adams relaxations / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the complexity of cutting-plane proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3549627 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Science Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cutting Planes and the Parameter Cutwidth / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tight rank lower bounds for the Sherali-Adams proof system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parameterized proof complexity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimal Sherali-Adams Gaps from Pairwise Independence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Outline of an algorithm for integer solutions to linear programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4807964 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Comparison of the Sherali-Adams, Lovász-Schrijver, and Lasserre Relaxations for 0–1 Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cones of Matrices and Set-Functions and 0–1 Optimization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sherali-adams relaxations of the matching polytope / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exponential Lower Bounds and Integrality Gaps for Tree-Like Lovász–Schrijver Procedures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4934563 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resolution Width and Cutting Plane Rank Are Incomparable / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complexity gap for tree resolution / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Hierarchy of Relaxations between the Continuous and Convex Hull Representations for Zero-One Programming Problems / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 09:13, 6 July 2024

scientific article
Language Label Description Also known as
English
Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems
scientific article

    Statements

    Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems (English)
    0 references
    0 references
    0 references
    11 April 2013
    0 references
    propositional proof complexity
    0 references
    lift-and-project methods
    0 references
    Lovász-Schrijver proof system
    0 references
    lower bounds
    0 references
    complexity gap theorems
    0 references

    Identifiers