{"id":"https://openalex.org/W2133392939","doi":"https://doi.org/10.1109/sfcs.2003.1238206","title":"Rank bounds and integrality gaps for cutting planes procedures","display_name":"Rank bounds and integrality gaps for cutting planes procedures","publication_year":2004,"publication_date":"2004-03-02","ids":{"openalex":"https://openalex.org/W2133392939","doi":"https://doi.org/10.1109/sfcs.2003.1238206","mag":"2133392939"},"language":"en","primary_location":{"id":"doi:10.1109/sfcs.2003.1238206","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sfcs.2003.1238206","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111441480","display_name":"J. Buresh-Oppenheim","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"J. Buresh-Oppenheim","raw_affiliation_strings":["University of Toronto, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084573067","display_name":"Nicola Galesi","orcid":"https://orcid.org/0000-0002-8522-362X"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"N. Galesi","raw_affiliation_strings":["Universitat Politecnica de Catalunya, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Politecnica de Catalunya, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017386816","display_name":"Shlomo Hoory","orcid":"https://orcid.org/0000-0002-8166-4428"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"S. Hoory","raw_affiliation_strings":["University of Toronto, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043150610","display_name":"Avner Magen","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"A. Magen","raw_affiliation_strings":["University of Toronto"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003318200","display_name":"Toniann Pitassi","orcid":"https://orcid.org/0000-0002-8668-2174"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"T. Pitassi","raw_affiliation_strings":["University of Toronto"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5111441480"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":6.9188,"has_fulltext":false,"cited_by_count":57,"citation_normalized_percentile":{"value":0.97315219,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"318","last_page":"327"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12176","display_name":"Optimization and Packing Problems","score":0.9901000261306763,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.5636366605758667},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5584805607795715},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4575163722038269},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39469754695892334},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34518373012542725}],"concepts":[{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.5636366605758667},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5584805607795715},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4575163722038269},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39469754695892334},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34518373012542725}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.1109/sfcs.2003.1238206","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sfcs.2003.1238206","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.117.2211","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.2211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.huji.ac.il/~avnerma/papers/cprank.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.119.8085","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.8085","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.sfu.ca/~jburesho/personal/cutting_planes.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.131.9478","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.9478","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.sfu.ca/~jburesho/personal/cutting_planes.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.154.7019","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.7019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.huji.ac.il/~avnerma/papers/cprank.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.155.4635","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.155.4635","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dsi.uniroma1.it/~galesi/cp.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.390.8612","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.390.8612","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://tocmirror.cs.tau.ac.il/articles/v002a004/v002a004.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.99.9833","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.9833","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://theoryofcomputing.org/articles/main/v002/a004/a004.pdf","raw_type":"text"},{"id":"pmh:oai:iris.uniroma1.it:11573/208299","is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/208299","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W98864987","https://openalex.org/W152703237","https://openalex.org/W1499875748","https://openalex.org/W1568620904","https://openalex.org/W1867057885","https://openalex.org/W1893254807","https://openalex.org/W1951390451","https://openalex.org/W1972894929","https://openalex.org/W1985123706","https://openalex.org/W1996256832","https://openalex.org/W1999032440","https://openalex.org/W1999522767","https://openalex.org/W2009683816","https://openalex.org/W2011805810","https://openalex.org/W2020632401","https://openalex.org/W2026189949","https://openalex.org/W2033040247","https://openalex.org/W2038193643","https://openalex.org/W2044095368","https://openalex.org/W2059187303","https://openalex.org/W2062897452","https://openalex.org/W2069767473","https://openalex.org/W2080045420","https://openalex.org/W2100440346","https://openalex.org/W2106264302","https://openalex.org/W2117749206","https://openalex.org/W2122055721","https://openalex.org/W2124115465","https://openalex.org/W2126362918","https://openalex.org/W2126420408","https://openalex.org/W2130847546","https://openalex.org/W2132489129","https://openalex.org/W2133527541","https://openalex.org/W2145243417","https://openalex.org/W2146823188","https://openalex.org/W2167508847","https://openalex.org/W2566335580","https://openalex.org/W2611147814","https://openalex.org/W4238671349","https://openalex.org/W4285719527","https://openalex.org/W4293860921","https://openalex.org/W6604086468","https://openalex.org/W6606199221"],"related_works":["https://openalex.org/W1978042415","https://openalex.org/W3086542228","https://openalex.org/W2088849544","https://openalex.org/W4234996786","https://openalex.org/W2017331178","https://openalex.org/W2976797620","https://openalex.org/W2963179930","https://openalex.org/W2087081347","https://openalex.org/W2050801211","https://openalex.org/W2055916644"],"abstract_inverted_index":{"We":[0,33],"present":[1],"a":[2,77],"new":[3,41],"method":[4,36],"for":[5,10,31,49,55,98,152],"proving":[6],"rank":[7,47,111,120,130,137,156],"lower":[8,74],"bounds":[9,48,75],"Cutting":[11,50],"Planes":[12,51],"(CP)":[13],"and":[14,23,52,65,113],"several":[15,56],"procedures":[16,86],"based":[17],"on":[18],"lifting":[19],"due":[20],"to":[21,37,89],"Lovasz":[22],"Schrijver":[24],"(LS),":[25],"when":[26,87],"viewed":[27],"as":[28],"proof":[29,154,161],"systems":[30],"unsatisfiability.":[32],"apply":[34],"this":[35],"obtain":[38],"the":[39,66,100,128,135,143],"following":[40],"results:":[42],"first,":[43],"we":[44,104,124,141,149],"prove":[45],"near-optimal":[46],"Lovasz-Schrijver":[53],"proofs":[54,115],"prominent":[57],"unsatisfiable":[58,106],"CNF":[59],"examples,":[60],"including":[61],"random":[62],"kCNF":[63],"formulas":[64],"Tseitin":[67],"graph":[68],"formulas.":[69],"It":[70],"follows":[71],"from":[72],"these":[73],"that":[76,108,117],"linear":[78,93,119,173],"number":[79],"of":[80,82,91,145],"rounds":[81],"CP":[83,112,129],"or":[84],"LS":[85,114,136],"applied":[88],"relaxations":[90],"integer":[92],"programs":[94],"is":[95,131,138],"not":[96,158],"sufficient":[97],"reducing":[99],"integrality":[101],"gap.":[102],"Secondly,":[103],"give":[105,125],"examples":[107,126,166],"have":[109],"constant":[110],"but":[116,134,171],"require":[118],"resolution":[121],"proofs.":[122],"Thirdly,":[123],"where":[127],"O(log":[132],"n)":[133],"linear.":[139],"Finally,":[140],"address":[142],"question":[144],"size":[146],"versus":[147],"rank:":[148],"show":[150],"that,":[151],"both":[153],"systems,":[155],"does":[157],"accurately":[159],"reflect":[160],"size.":[162],"Specifically,":[163],"there":[164],"are":[165],"with":[167],"polynomial-size":[168],"CP/LS":[169],"proofs,":[170],"requiring":[172],"rank.":[174]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-03T08:25:01.440150","created_date":"2025-10-10T00:00:00"}