Tight rank lower bounds for the Sherali–Adams proof system

Dantchev, Stefan, Martin, Barnaby and Rhodes, Mark (2009) Tight rank lower bounds for the Sherali–Adams proof system. Theoretical Computer Science, 410 (21-23) . pp. 2054-2063. ISSN 0304-3975 [Article] (doi:10.1016/j.tcs.2009.01.002)

Abstract

We consider a proof (more accurately, refutation) system based on the Sherali-Adams (SA) operator associated with integer linear programming.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 9639
Depositing User: Devika Mohan
Date Deposited: 20 Dec 2012 10:37
Last Modified: 24 Apr 2018 15:36
URI: https://eprints.mdx.ac.uk/id/eprint/9639

Actions (login required)

View Item View Item

Statistics

Activity Overview
6 month trend
0Downloads
6 month trend
400Hits

Additional statistics are available via IRStats2.