{"id":"https://openalex.org/W2143303446","doi":"https://doi.org/10.1145/2559951","title":"Merge-and-Shrink Abstraction","display_name":"Merge-and-Shrink Abstraction","publication_year":2014,"publication_date":"2014-05-01","ids":{"openalex":"https://openalex.org/W2143303446","doi":"https://doi.org/10.1145/2559951","mag":"2143303446"},"language":"en","primary_location":{"id":"doi:10.1145/2559951","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2559951","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2559951","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"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2559951","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033577488","display_name":"Malte Helmert","orcid":"https://orcid.org/0009-0008-8462-350X"},"institutions":[{"id":"https://openalex.org/I1850255","display_name":"University of Basel","ror":"https://ror.org/02s6k3f65","country_code":"CH","type":"education","lineage":["https://openalex.org/I1850255"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Malte Helmert","raw_affiliation_strings":["University of Basel, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Basel, Switzerland","institution_ids":["https://openalex.org/I1850255"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076016306","display_name":"Patrik Haslum","orcid":null},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Patrik Haslum","raw_affiliation_strings":["The Australian National University and NICTA, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Australian National University and NICTA, Australia","institution_ids":["https://openalex.org/I118347636","https://openalex.org/I42894916"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076532681","display_name":"J\u00f6rg Hoffmann","orcid":"https://orcid.org/0000-0003-1590-5876"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J\u00f6rg Hoffmann","raw_affiliation_strings":["Saarland University, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Saarland University, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065593204","display_name":"Raz Nissim","orcid":null},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Raz Nissim","raw_affiliation_strings":["Ben-Gurion University of the Negev, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ben-Gurion University of the Negev, Israel","institution_ids":["https://openalex.org/I124227911"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":17.0959,"has_fulltext":true,"cited_by_count":85,"citation_normalized_percentile":{"value":0.99122126,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"61","issue":"3","first_page":"1","last_page":"63"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9922000169754028,"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/reachability","display_name":"Reachability","score":0.6807372570037842},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6402954459190369},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6043528318405151},{"id":"https://openalex.org/keywords/merge","display_name":"Merge (version control)","score":0.5974074006080627},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5695045590400696},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5044416189193726},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.46047770977020264},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4123043715953827},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31564080715179443},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21989765763282776}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6807372570037842},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6402954459190369},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6043528318405151},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.5974074006080627},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5695045590400696},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5044416189193726},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.46047770977020264},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4123043715953827},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31564080715179443},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21989765763282776},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2559951","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2559951","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2559951","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:openresearch-repository.anu.edu.au:1885/70844","is_oa":false,"landing_page_url":"http://hdl.handle.net/1885/70844","pdf_url":null,"source":{"id":"https://openalex.org/S4306402539","display_name":"ANU Open Research (Australian National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I118347636","host_organization_name":"Australian National University","host_organization_lineage":["https://openalex.org/I118347636"],"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","raw_type":"Journal article"}],"best_oa_location":{"id":"doi:10.1145/2559951","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2559951","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2559951","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"},"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[{"id":"https://openalex.org/G2060951734","display_name":"Exploiting Structure in AI Planning","funder_award_id":"DP0985532","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G2424223497","display_name":null,"funder_award_id":"1101/07","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"},{"id":"https://openalex.org/G7240651115","display_name":null,"funder_award_id":"ANR-10","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320313934","display_name":"Institut national de recherche en informatique et en automatique (INRIA)","ror":"https://ror.org/02kvxyf05"},{"id":"https://openalex.org/F4320315885","display_name":"Australian Government","ror":"https://ror.org/0314h5y94"},{"id":"https://openalex.org/F4320320378","display_name":"Department of Broadband, Communications and the Digital Economy , Australian Government","ror":"https://ror.org/01xcwz090"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"},{"id":"https://openalex.org/F4320323051","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2143303446.pdf","grobid_xml":"https://content.openalex.org/works/W2143303446.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W15206906","https://openalex.org/W68069235","https://openalex.org/W113432952","https://openalex.org/W121584634","https://openalex.org/W125541279","https://openalex.org/W132584314","https://openalex.org/W192320951","https://openalex.org/W203265101","https://openalex.org/W937666582","https://openalex.org/W1481195904","https://openalex.org/W1489183362","https://openalex.org/W1493614021","https://openalex.org/W1504269031","https://openalex.org/W1534467528","https://openalex.org/W1540546910","https://openalex.org/W1558870289","https://openalex.org/W1575990843","https://openalex.org/W1582665553","https://openalex.org/W1600093983","https://openalex.org/W1751204289","https://openalex.org/W1773969059","https://openalex.org/W1923807516","https://openalex.org/W1929797170","https://openalex.org/W1943502734","https://openalex.org/W1969483458","https://openalex.org/W1993284672","https://openalex.org/W2016300863","https://openalex.org/W2043100293","https://openalex.org/W2045526507","https://openalex.org/W2061146398","https://openalex.org/W2082627779","https://openalex.org/W2091345559","https://openalex.org/W2100580381","https://openalex.org/W2114629047","https://openalex.org/W2121347373","https://openalex.org/W2125374272","https://openalex.org/W2131910799","https://openalex.org/W2134634502","https://openalex.org/W2136172758","https://openalex.org/W2137865376","https://openalex.org/W2147334703","https://openalex.org/W2155675331","https://openalex.org/W2161414194","https://openalex.org/W2161759936","https://openalex.org/W2165040934","https://openalex.org/W2167435507","https://openalex.org/W2171827811","https://openalex.org/W2295532854","https://openalex.org/W2337392266","https://openalex.org/W2340735175","https://openalex.org/W2389622903","https://openalex.org/W2402164836","https://openalex.org/W2561675875","https://openalex.org/W2699476589","https://openalex.org/W2748837517","https://openalex.org/W2768634154","https://openalex.org/W2913459036","https://openalex.org/W2913927882","https://openalex.org/W2998781177","https://openalex.org/W2999916861","https://openalex.org/W3099451540","https://openalex.org/W3101355526","https://openalex.org/W3104884551","https://openalex.org/W3106306397","https://openalex.org/W4249771336"],"related_works":["https://openalex.org/W3035316584","https://openalex.org/W3177062893","https://openalex.org/W3125143773","https://openalex.org/W803550684","https://openalex.org/W2483226803","https://openalex.org/W3143937874","https://openalex.org/W2007032764","https://openalex.org/W2513360157","https://openalex.org/W2067280619","https://openalex.org/W4251343851"],"abstract_inverted_index":{"Many":[0],"areas":[1],"of":[2,45,71,108,130,143,165,194,198,214,234],"computer":[3],"science":[4],"require":[5],"answering":[6],"questions":[7,18],"about":[8],"reachability":[9],"in":[10,136,173,204,218],"compactly":[11,124],"described":[12],"discrete":[13],"transition":[14,66,144,150],"systems.":[15],"Answering":[16],"such":[17,60,84],"effectively":[19],"requires":[20],"techniques":[21],"to":[22,25,42,49,63,80,90,123,153,170,191,211],"be":[23,168],"able":[24],"do":[26],"so":[27],"without":[28],"building":[29],"the":[30,46,109,140,162,195,212,232,235],"entire":[31],"system.":[32],"In":[33],"particular,":[34],"heuristic":[35,40,180,216,228],"search":[36],"uses":[37],"lower-bounding":[38],"(\u201cadmissible\u201d)":[39],"functions":[41,217,229],"prune":[43],"parts":[44],"system":[47],"known":[48],"not":[50],"contain":[51],"an":[52],"optimal":[53],"solution.":[54],"A":[55],"prominent":[56],"technique":[57],"for":[58],"deriving":[59],"bounds":[61],"is":[62,78,114],"consider":[64],"abstract":[65],"systems":[67,151],"that":[68,161,176,203,222],"aggregate":[69,97],"groups":[70],"states":[72,98],"into":[73],"one.":[74],"The":[75,86],"key":[76],"question":[77,92],"how":[79],"design":[81],"and":[82,100,158,221],"represent":[83,125],"abstractions.":[85],"most":[87],"successful":[88],"answer":[89],"this":[91,171,207],"are":[93],"pattern":[94,134],"databases,":[95],"which":[96,146,154],"if":[99,102],"only":[101],"they":[103],"agree":[104],"on":[105],"a":[106,115,126,174],"subset":[107],"state":[110,233],"variables.":[111],"Merge-and-shrink":[112],"abstraction":[113,185],"new":[116],"paradigm":[117],"that,":[118],"as":[119],"we":[120,147,159,201],"show,":[121],"allows":[122],"more":[127,223],"general":[128],"class":[129,142],"abstractions,":[131],"strictly":[132],"dominating":[133],"databases":[135],"theory.":[137],"We":[138],"identify":[139],"maximal":[141],"systems,":[145],"call":[148],"factored":[149],",":[152],"merge-and-shrink":[155,225],"applies":[156],"naturally,":[157],"show":[160,202],"well-known":[163],"notion":[164],"bisimilarity":[166],"can":[167],"adapted":[169],"framework":[172],"way":[175],"still":[177],"guarantees":[178],"perfect":[179,215],"functions,":[181],"while":[182],"potentially":[183],"reducing":[184],"size":[186,208],"exponentially.":[187],"Applying":[188],"these":[189],"ideas":[190],"planning,":[192],"one":[193],"foundational":[196],"subareas":[197],"artificial":[199],"intelligence,":[200],"some":[205],"benchmarks":[206],"reduction":[209],"leads":[210],"computation":[213],"polynomial":[219],"time":[220],"approximate":[224],"strategies":[226],"yield":[227],"competitive":[230],"with":[231],"art.":[236]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":14},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":11},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":13},{"year":2014,"cited_by_count":3}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2016-06-24T00:00:00"}