{"id":"https://openalex.org/W2911917786","doi":"https://doi.org/10.1109/lics.2019.8785792","title":"On the Power of Symmetric Linear Programs","display_name":"On the Power of Symmetric Linear Programs","publication_year":2019,"publication_date":"2019-06-01","ids":{"openalex":"https://openalex.org/W2911917786","doi":"https://doi.org/10.1109/lics.2019.8785792","mag":"2911917786"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2019.8785792","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2019.8785792","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2117/171930","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003671114","display_name":"Albert Atserias","orcid":"https://orcid.org/0000-0002-3732-1989"},"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":"Albert Atserias","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Catalunya","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080843415","display_name":"Anuj Dawar","orcid":"https://orcid.org/0000-0003-4014-8248"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Anuj Dawar","raw_affiliation_strings":["University of Cambridge"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108138191","display_name":"Joanna Ochremiak","orcid":null},"institutions":[{"id":"https://openalex.org/I4210096386","display_name":"Bridge University","ror":"https://ror.org/00cbm0437","country_code":"SS","type":"education","lineage":["https://openalex.org/I4210096386"]}],"countries":["SS"],"is_corresponding":false,"raw_author_name":"Joanna Ochremiak","raw_affiliation_strings":["LaBRI, University of Cambridge and CNRS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LaBRI, University of Cambridge and CNRS","institution_ids":["https://openalex.org/I4210096386"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.03289526,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":"68","issue":"4","first_page":"1","last_page":"13"},"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.9987999796867371,"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.9987999796867371,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9983999729156494,"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/T12288","display_name":"Optimization and Search Problems","score":0.9799000024795532,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/mathematics","display_name":"Mathematics","score":0.7482638955116272},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7033098936080933},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.6057655215263367},{"id":"https://openalex.org/keywords/chordal-graph","display_name":"Chordal graph","score":0.5041133165359497},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.42377912998199463},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.42297104001045227},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.34299176931381226}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7482638955116272},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7033098936080933},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.6057655215263367},{"id":"https://openalex.org/C160446614","wikidata":"https://www.wikidata.org/wiki/Q1322892","display_name":"Chordal graph","level":3,"score":0.5041133165359497},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.42377912998199463},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.42297104001045227},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.34299176931381226},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":16,"locations":[{"id":"doi:10.1109/lics.2019.8785792","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2019.8785792","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"doi:10.1145/3456297","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3456297","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},{"id":"pmh:oai:recercat.cat:2072/364124","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/171930","pdf_url":null,"source":{"id":"https://openalex.org/S4306402147","display_name":"RECERCAT (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:arXiv.org:1901.07825","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1901.07825","pdf_url":"https://arxiv.org/pdf/1901.07825","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/379991","is_oa":true,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/379991","pdf_url":"https://www.repository.cam.ac.uk/bitstreams/a2098fc9-5cfa-4573-b28c-b573eb83ef8e/download","source":{"id":"https://openalex.org/S4306401777","display_name":"Apollo (University of Cambridge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I241749","host_organization_name":"University of Cambridge","host_organization_lineage":["https://openalex.org/I241749"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference Object"},{"id":"mag:2911917786","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1901.07825","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:HAL:hal-02497133v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-02497133","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785792⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:HAL:hal-03813148v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03813148","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of the ACM (JACM), 2021, 68 (4), pp.1-35. ⟨10.1145/3456297⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:upcommons.upc.edu:2117/384806","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/384806","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/296805","is_oa":false,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/296805","pdf_url":null,"source":{"id":"https://openalex.org/S4306401777","display_name":"Apollo (University of Cambridge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I241749","host_organization_name":"University of Cambridge","host_organization_lineage":["https://openalex.org/I241749"],"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":"Conference Object"},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/318806","is_oa":false,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/318806","pdf_url":null,"source":{"id":"https://openalex.org/S4306401777","display_name":"Apollo (University of Cambridge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I241749","host_organization_name":"University of Cambridge","host_organization_lineage":["https://openalex.org/I241749"],"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":"Article"},{"id":"doi:10.48550/arxiv.1901.07825","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1901.07825","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.17863/cam.115961","is_oa":true,"landing_page_url":"https://doi.org/10.17863/cam.115961","pdf_url":null,"source":{"id":"https://openalex.org/S7407050737","display_name":"Apollo","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Other"},{"id":"doi:10.17863/cam.43849","is_oa":true,"landing_page_url":"https://doi.org/10.17863/cam.43849","pdf_url":null,"source":{"id":"https://openalex.org/S7407050737","display_name":"Apollo","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Other"},{"id":"doi:10.17863/cam.65924","is_oa":true,"landing_page_url":"https://doi.org/10.17863/cam.65924","pdf_url":null,"source":{"id":"https://openalex.org/S7407050737","display_name":"Apollo","issn_l":null,"issn":[],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"JournalArticle"},{"id":"mag:3198634023","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/jacm/jacm68.html#AtseriasDO21","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Journal of the ACM","raw_type":null}],"best_oa_location":{"id":"pmh:oai:recercat.cat:2072/364124","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/171930","pdf_url":null,"source":{"id":"https://openalex.org/S4306402147","display_name":"RECERCAT (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1633672591","display_name":null,"funder_award_id":"N510129","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G444630160","display_name":null,"funder_award_id":"EP/N510129/","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4500485203","display_name":"The Alan Turing Institute","funder_award_id":"EP/N510129/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5754933862","display_name":"Circuits, Logic and Symmetry","funder_award_id":"EP/S03238X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5834381682","display_name":null,"funder_award_id":"ERC-2014","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6388052836","display_name":"Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems","funder_award_id":"795936","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6454361319","display_name":"A Unified Theory of Algorithmic Relaxations","funder_award_id":"648276","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7284646318","display_name":null,"funder_award_id":"ERC-2014-CoG","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8597009950","display_name":null,"funder_award_id":"EP/N510129/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8656448444","display_name":null,"funder_award_id":"EP/S03238X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W193724012","https://openalex.org/W1026721552","https://openalex.org/W1482193060","https://openalex.org/W1812706522","https://openalex.org/W1824706793","https://openalex.org/W1970629906","https://openalex.org/W1971483538","https://openalex.org/W1972894929","https://openalex.org/W1980103601","https://openalex.org/W1982687611","https://openalex.org/W1986010539","https://openalex.org/W1989783863","https://openalex.org/W1993886628","https://openalex.org/W2010601719","https://openalex.org/W2011267124","https://openalex.org/W2017894167","https://openalex.org/W2031641275","https://openalex.org/W2033233376","https://openalex.org/W2046825484","https://openalex.org/W2049143039","https://openalex.org/W2051748083","https://openalex.org/W2061987651","https://openalex.org/W2062307640","https://openalex.org/W2078758709","https://openalex.org/W2106264302","https://openalex.org/W2117313088","https://openalex.org/W2166602562","https://openalex.org/W2211319681","https://openalex.org/W2245089271","https://openalex.org/W2269638945","https://openalex.org/W2282320536","https://openalex.org/W2573816347","https://openalex.org/W2743861372","https://openalex.org/W2759253428","https://openalex.org/W2963010019","https://openalex.org/W2963256102","https://openalex.org/W2963512679","https://openalex.org/W2963680946","https://openalex.org/W4234295943","https://openalex.org/W4236835455","https://openalex.org/W4240656561","https://openalex.org/W4251683043","https://openalex.org/W4252748002","https://openalex.org/W6752904395"],"related_works":["https://openalex.org/W3198634023","https://openalex.org/W2185144104","https://openalex.org/W2043686677","https://openalex.org/W2952763318","https://openalex.org/W2295651994","https://openalex.org/W1617257399","https://openalex.org/W1979962503","https://openalex.org/W2341570704","https://openalex.org/W2469269256","https://openalex.org/W3159345262","https://openalex.org/W1544829330","https://openalex.org/W3005290875","https://openalex.org/W1995968692","https://openalex.org/W3002530881","https://openalex.org/W106665802","https://openalex.org/W2396268409","https://openalex.org/W2170124464","https://openalex.org/W1572301406","https://openalex.org/W2170305306","https://openalex.org/W2963978854"],"abstract_inverted_index":{"We":[0,54,143,188],"consider":[1,80],"families":[2,68],"of":[3,12,25,69,93,118,140,192],"symmetric":[4,70,125,135,156,179],"linear":[5],"programs":[6],"(LPs)":[7],"that":[8,35,56,115,154,172],"decide":[9],"a":[10,32,90],"property":[11,45],"graphs":[13,42,50,119],"(or":[14],"other":[15],"relational":[16],"structures)":[17],"in":[18,65,89],"the":[19,37,44,52,83,108,116,138,159,190,195],"sense":[20],"that,":[21],"for":[22,104,134,137,158,173],"each":[23],"size":[24],"graph,":[26],"there":[27],"is":[28,58,85],"an":[29,130,168],"LP":[30],"defining":[31],"polyhedral":[33],"lift":[34],"separates":[36],"integer":[38],"points":[39],"corresponding":[40,48],"to":[41,49,67,87,107],"with":[43,60,73,96,120,148],"from":[46],"those":[47],"without":[51],"property.":[53],"show":[55],"this":[57,113,147,193],"equivalent,":[59],"at":[61],"most":[62],"polynomial":[63],"blow-up":[64],"size,":[66],"Boolean":[71,186],"circuits":[72],"threshold":[74],"gates.":[75],"In":[76,111],"particular,":[77,112],"when":[78],"we":[79,128,170],"polynomial-size":[81,124,178],"LPs,":[82,126],"model":[84],"equivalent":[86],"definability":[88],"non-uniform":[91,109],"version":[92],"fixed-point":[94],"logic":[95],"counting":[97],"(FPC).":[98],"Known":[99],"upper":[100],"and":[101,145,161],"lower":[102,132],"bounds":[103],"FPC":[105],"apply":[106],"version.":[110],"implies":[114],"class":[117,139],"perfect":[121],"matchings":[122],"has":[123],"while":[127],"obtain":[129],"exponential":[131,165],"bound":[133],"LPs":[136,157,180],"Hamiltonian":[141],"graphs.":[142],"compare":[144],"contrast":[146],"previous":[149],"results":[150],"(Yannakakis":[151],"1991),":[152],"showing":[153],"any":[155],"matching":[160],"TSP":[162],"polytopes":[163],"have":[164],"size.":[166],"As":[167],"application,":[169],"establish":[171],"random,":[174],"uniformly":[175],"distributed":[176],"graphs,":[177],"are":[181],"as":[182,184],"powerful":[183],"general":[185],"circuits.":[187],"illustrate":[189],"effect":[191],"on":[194],"well-studied":[196],"planted-clique":[197],"problem.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-08T08:33:18.762332","created_date":"2025-10-10T00:00:00"}