{"id":"https://openalex.org/W4402419025","doi":"https://doi.org/10.46298/lmcs-20(3:22)2024","title":"QBF Merge Resolution is powerful but unnatural","display_name":"QBF Merge Resolution is powerful but unnatural","publication_year":2024,"publication_date":"2024-09-10","ids":{"openalex":"https://openalex.org/W4402419025","doi":"https://doi.org/10.46298/lmcs-20(3:22)2024"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-20(3:22)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(3:22)2024","pdf_url":"https://lmcs.episciences.org/14232/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/14232/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020709378","display_name":"Meena Mahajan","orcid":"https://orcid.org/0000-0002-9116-4398"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Meena Mahajan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5031016818","display_name":"Gaurav Sood","orcid":"https://orcid.org/0000-0001-6501-6589"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gaurav Sood","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020709378"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1488,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.8837764,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"Volume 20, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12851","display_name":"Firm Innovation and Growth","score":0.38449999690055847,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12851","display_name":"Firm Innovation and Growth","score":0.38449999690055847,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13402","display_name":"Business Strategy and Innovation","score":0.37070000171661377,"subfield":{"id":"https://openalex.org/subfields/1408","display_name":"Strategy and Management"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11903","display_name":"Private Equity and Venture Capital","score":0.3458999991416931,"subfield":{"id":"https://openalex.org/subfields/1402","display_name":"Accounting"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/merge","display_name":"Merge (version control)","score":0.7246202826499939},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7104688286781311},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.41492295265197754},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32106760144233704},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3200286626815796},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2941783666610718},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2261868417263031}],"concepts":[{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.7246202826499939},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7104688286781311},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.41492295265197754},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32106760144233704},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3200286626815796},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2941783666610718},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2261868417263031}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46298/lmcs-20(3:22)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(3:22)2024","pdf_url":"https://lmcs.episciences.org/14232/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:a20f42d466e6436baf772f0f6939ee7f","is_oa":true,"landing_page_url":"https://doaj.org/article/a20f42d466e6436baf772f0f6939ee7f","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-20(3:22)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(3:22)2024","pdf_url":"https://lmcs.episciences.org/14232/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334763","display_name":"Leibniz-Gemeinschaft","ror":"https://ror.org/01n6r0e97"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402419025.pdf","grobid_xml":"https://content.openalex.org/works/W4402419025.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2486541857","https://openalex.org/W2073681303","https://openalex.org/W4234886518","https://openalex.org/W2389591058","https://openalex.org/W2390279801","https://openalex.org/W2382112581","https://openalex.org/W3124036233"],"abstract_inverted_index":{"The":[0,21],"Merge":[1],"Resolution":[2],"proof":[3,36,66,112,134,157],"system":[4,37],"(M-Res)":[5],"for":[6,24],"QBFs,":[7],"proposed":[8],"by":[9,233,245],"Beyersdorff":[10,119],"et":[11,120],"al.":[12,121],"in":[13,33,180],"2019,":[14],"explicitly":[15],"builds":[16],"partial":[17],"strategies":[18],"inside":[19],"refutations.":[20],"original":[22],"motivation":[23],"this":[25,80,84,115],"approach":[26],"was":[27,68,242],"to":[28,230],"overcome":[29],"the":[30,40,57,104,181],"limitations":[31],"encountered":[32],"long-distance":[34],"Q-Resolution":[35],"(LD-Q-Res),":[38],"where":[39],"syntactic":[41],"side-conditions,":[42],"while":[43,56],"prohibiting":[44,51],"all":[45],"unsound":[46],"resolutions,":[47],"also":[48],"end":[49],"up":[50],"some":[52],"sound":[53],"resolutions.":[54],"However,":[55],"advantage":[58,93,171,196],"of":[59,183,239],"M-Res":[60,89,126,145,173,198,205,213,228,241],"over":[61,94,100,172,197],"many":[62],"other":[63],"resolution-based":[64,110],"QBF":[65,111],"systems":[67],"already":[69],"demonstrated,":[70],"a":[71,155],"comparison":[72],"with":[73,116,129,164,189,209,214,226],"LD-Q-Res":[74],"itself":[75],"had":[76],"remained":[77],"open.":[78,221],"In":[79],"paper,":[81],"we":[82,123],"settle":[83],"question.":[85],"We":[86,176,222],"show":[87,178],"that":[88,125,179,204,224],"has":[90],"an":[91,169,194],"exponential":[92,170,195],"not":[95,147,154],"only":[96],"LD-Q-Res,":[97],"but":[98],"even":[99,225],"LQU$^+$-Res":[101],"and":[102,131,139,151,159,247],"IRM,":[103],"most":[105],"powerful":[106],"among":[107],"currently":[108],"known":[109],"systems.":[113],"Combining":[114],"results":[117,202],"from":[118],"2020,":[122],"conclude":[124],"is":[127,146,152,206,216],"incomparable":[128],"LQU-Res":[130],"LQU$^+$-Res.":[132],"Our":[133],"method":[135],"reveals":[136],"two":[137],"additional":[138],"curious":[140],"features":[141],"about":[142],"M-Res:":[143],"(i)":[144],"closed":[148,217],"under":[149,218],"restrictions,":[150],"hence":[153],"natural":[156],"system,":[158],"(ii)":[160],"weakening":[161,186,215],"axiom":[162,187],"clauses":[163,188],"existential":[165],"variables":[166,191],"provably":[167,192],"yields":[168,193],"without":[174,199],"weakening.":[175,200],"further":[177],"context":[182],"regular":[184],"derivations,":[185],"universal":[190],"These":[201],"suggest":[203],"better":[207],"used":[208],"weakening,":[210,227],"though":[211],"whether":[212],"restrictions":[219],"remains":[220],"note":[223],"continues":[229],"be":[231],"simulated":[232],"eFrege":[234],"$+$":[235],"$\\forall$red":[236],"(the":[237],"simulation":[238],"ordinary":[240],"shown":[243],"recently":[244],"Chew":[246],"Slivovsky).":[248]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}