{"id":"https://openalex.org/W2149067455","doi":"https://doi.org/10.1145/2090236.2090265","title":"Sherali-Adams relaxations and indistinguishability in counting logics","display_name":"Sherali-Adams relaxations and indistinguishability in counting logics","publication_year":2012,"publication_date":"2012-01-08","ids":{"openalex":"https://openalex.org/W2149067455","doi":"https://doi.org/10.1145/2090236.2090265","mag":"2149067455"},"language":"en","primary_location":{"id":"doi:10.1145/2090236.2090265","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2090236.2090265","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd Innovations in Theoretical Computer Science Conference","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/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":true,"raw_author_name":"Albert Atserias","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078805815","display_name":"Elitza Maneva","orcid":"https://orcid.org/0000-0002-8638-1013"},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Elitza Maneva","raw_affiliation_strings":["Universitat de Barcelona, Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Universitat de Barcelona, Barcelona, Spain","institution_ids":["https://openalex.org/I71999127"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5003671114"],"corresponding_institution_ids":["https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":2.3586,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.89248555,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"367","last_page":"379"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9997000098228455,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9997000098228455,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9986000061035156,"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/T10142","display_name":"Formal Methods in Verification","score":0.9947999715805054,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7520864009857178},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7432118654251099},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5670958161354065},{"id":"https://openalex.org/keywords/adjacency-matrix","display_name":"Adjacency matrix","score":0.5308690071105957},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5277037024497986},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.5207440853118896},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.45808589458465576},{"id":"https://openalex.org/keywords/polytope","display_name":"Polytope","score":0.4538496732711792},{"id":"https://openalex.org/keywords/vertex","display_name":"Vertex (graph theory)","score":0.4498082399368286},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4469355046749115},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.28126680850982666}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7520864009857178},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7432118654251099},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5670958161354065},{"id":"https://openalex.org/C180356752","wikidata":"https://www.wikidata.org/wiki/Q727035","display_name":"Adjacency matrix","level":3,"score":0.5308690071105957},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5277037024497986},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.5207440853118896},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.45808589458465576},{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.4538496732711792},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.4498082399368286},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4469355046749115},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.28126680850982666},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2090236.2090265","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2090236.2090265","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd Innovations in Theoretical Computer Science Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W51516856","https://openalex.org/W149380172","https://openalex.org/W617577063","https://openalex.org/W1482193060","https://openalex.org/W1489366126","https://openalex.org/W1555138513","https://openalex.org/W1562342192","https://openalex.org/W1569165539","https://openalex.org/W1587123489","https://openalex.org/W1824706793","https://openalex.org/W1967344706","https://openalex.org/W1984581643","https://openalex.org/W1993886628","https://openalex.org/W2002025272","https://openalex.org/W2012605254","https://openalex.org/W2024420212","https://openalex.org/W2026189949","https://openalex.org/W2026745535","https://openalex.org/W2029837328","https://openalex.org/W2038222783","https://openalex.org/W2049143039","https://openalex.org/W2051748083","https://openalex.org/W2077397558","https://openalex.org/W2083858754","https://openalex.org/W2083896132","https://openalex.org/W2098022011","https://openalex.org/W2104727719","https://openalex.org/W2106264302","https://openalex.org/W2107052785","https://openalex.org/W2111119215","https://openalex.org/W2111302825","https://openalex.org/W2132541147","https://openalex.org/W2137118456","https://openalex.org/W2148872782","https://openalex.org/W2162898372","https://openalex.org/W2165416570","https://openalex.org/W2168417806","https://openalex.org/W2181072414","https://openalex.org/W2561675875","https://openalex.org/W2592241421","https://openalex.org/W2953073252","https://openalex.org/W3028653830","https://openalex.org/W4236835455","https://openalex.org/W4254380579","https://openalex.org/W6628898632"],"related_works":["https://openalex.org/W4280529077","https://openalex.org/W1493684871","https://openalex.org/W2886567582","https://openalex.org/W4390962314","https://openalex.org/W4289703404","https://openalex.org/W2999175164","https://openalex.org/W4387265813","https://openalex.org/W4286224459","https://openalex.org/W4320410061","https://openalex.org/W3103454236"],"abstract_inverted_index":{"Two":[0],"graphs":[1],"with":[2,70,87,95,127,184,186],"adjacency":[3],"matrices":[4],"A":[5],"and":[6,29,98,144,156,203,225],"B":[7,23],"are":[8,178],"isomorphic":[9],"if":[10],"there":[11],"exists":[12],"a":[13,35,74,93,99,117,131,172,175,187,195],"permutation":[14,32],"matrix":[15,33,38],"P":[16,28],"for":[17,78,234],"which":[18],"the":[19,31,41,52,55,71,82,88,123,181,206,219,223,242,247],"identity":[20],"PTAP":[21],"=":[22],"holds.":[24],"Multiplying":[25],"through":[26],"by":[27],"relaxing":[30],"to":[34,40,64,139,200,211,236],"doubly":[36],"stochastic":[37],"leads":[39],"linear":[42,60],"programming":[43,61],"relaxation":[44],"known":[45],"as":[46,168],"fractional":[47,65],"isomorphism.":[48],"We":[49,147],"show":[50,161,217],"that":[51,130,162,169,216,218],"levels":[53,72,89,135],"of":[54,59,73,90,102,120,125,134,136,142,165,170,174,190,208,222,244],"Sherali-Adams":[56],"(SA)":[57],"hierarchy":[58],"relaxations":[62,221],"applied":[63],"isomorphism":[66,80,141],"interleave":[67],"in":[68,92,122,152,180,205,246],"power":[69],"well-known":[75],"color-refinement":[76],"heuristic":[77],"graph":[79],"called":[81],"Weisfeiler-Lehman":[83],"algorithm,":[84],"or":[85],"equivalently,":[86],"indistinguishability":[91],"logic":[94,183],"counting":[96,128,185,209],"quantifiers":[97],"bounded":[100,188],"number":[101,133,189,243],"variables.":[103,191],"This":[104],"tight":[105],"connection":[106],"has":[107],"quite":[108],"striking":[109],"consequences.":[110],"For":[111],"example,":[112],"it":[113],"follows":[114],"immediately":[115],"from":[116],"deep":[118],"result":[119],"Grohe":[121],"context":[124,207],"logics":[126,210],"quantifiers,":[129],"fixed":[132],"SA":[137,220],"suffice":[138],"determine":[140],"planar":[143],"minor-free":[145],"graphs.":[146],"also":[148],"offer":[149],"applications":[150],"both":[151],"finite":[153],"model":[154],"theory":[155],"polyhedral":[157],"combinatorics.":[158],"First,":[159],"we":[160,193],"certain":[163],"properties":[164],"graphs,":[166],"such":[167],"having":[171],"flow-circulation":[173],"prescribed":[176],"value,":[177],"definable":[179],"infinitary":[182],"Second,":[192],"exploit":[194],"lower":[196],"bound":[197],"construction":[198],"due":[199],"Cai,":[201],"F\u00fcrer":[202],"Immerman":[204],"give":[212],"simple":[213],"explicit":[214],"instances":[215],"vertex-cover":[224],"cut":[226],"polytopes":[227],"do":[228],"not":[229],"reach":[230],"their":[231],"integer":[232],"hulls":[233],"up":[235],"\u03a9(n)":[237],"levels,":[238],"where":[239],"n":[240],"is":[241],"vertices":[245],"graph.":[248]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}