乐胖代购免代理版

{"id":"https://openalex.org/W4307562147","doi":"https://doi.org/10.1145/3569170","title":"Toward an Understanding of Long-tailed Runtimes of SLS Algorithms","display_name":"Toward an Understanding of Long-tailed Runtimes of SLS Algorithms","publication_year":2022,"publication_date":"2022-10-26","ids":{"openalex":"https://openalex.org/W4307562147","doi":"https://doi.org/10.1145/3569170"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3569170","pdf_url":null,"source":{"id":"https://openalex.org/S201104086","display_name":"ACM Journal of Experimental Algorithmics","issn_l":"1084-6654","issn":["1084-6654"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":false},"type":"article","type_crossref":"journal-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/A5070786574","display_name":"Jan-Hendrik Lorenz","orcid":"https://orcid.org/0000-0002-9554-4347"},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"funder","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan-Hendrik Lorenz","raw_affiliation_strings":["Institute of Theoretical Computer Science, Universit\u00e4t Ulm, Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Theoretical Computer Science, Universit\u00e4t Ulm, Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050917369","display_name":"Florian W\u00f6rz","orcid":"https://orcid.org/0000-0003-2463-8167"},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"funder","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Florian W\u00f6rz","raw_affiliation_strings":["Institute of Theoretical Computer Science, Universit\u00e4t Ulm, Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Theoretical Computer Science, Universit\u00e4t Ulm, Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":59},"biblio":{"volume":"27","issue":null,"first_page":"1","last_page":"38"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9996,"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/T10142","display_name":"Formal Methods in Verification","score":0.9996,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9993,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9961,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.7091085},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6894157},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.55196244},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.47274578}],"concepts":[{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.7091085},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6894157},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6361728},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.63477504},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.55196244},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.51399106},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.47274578},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4114623},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39331585},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30542094},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18416366},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3569170","pdf_url":null,"source":{"id":"https://openalex.org/S201104086","display_name":"ACM Journal of Experimental Algorithmics","issn_l":"1084-6654","issn":["1084-6654"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft","award_id":null}],"datasets":[],"versions":[],"referenced_works_count":39,"referenced_works":["https://openalex.org/W1493429498","https://openalex.org/W1493980144","https://openalex.org/W1515766261","https://openalex.org/W1518705996","https://openalex.org/W1561953468","https://openalex.org/W1583869287","https://openalex.org/W1599797029","https://openalex.org/W1605798759","https://openalex.org/W167199924","https://openalex.org/W1819209966","https://openalex.org/W1964919668","https://openalex.org/W2036265926","https://openalex.org/W2036734417","https://openalex.org/W2082757215","https://openalex.org/W2095709533","https://openalex.org/W2097415784","https://openalex.org/W2100676511","https://openalex.org/W2131070718","https://openalex.org/W2142785340","https://openalex.org/W2160464614","https://openalex.org/W2492917982","https://openalex.org/W2591957553","https://openalex.org/W2743159804","https://openalex.org/W2763483042","https://openalex.org/W2990320905","https://openalex.org/W2990602799","https://openalex.org/W2993159044","https://openalex.org/W2999957836","https://openalex.org/W3018680990","https://openalex.org/W3183139685","https://openalex.org/W3184772779","https://openalex.org/W3195745537","https://openalex.org/W3197550569","https://openalex.org/W4229840182","https://openalex.org/W4238411040","https://openalex.org/W4238664777","https://openalex.org/W4292334561","https://openalex.org/W4295705322","https://openalex.org/W4301502932"],"related_works":["https://openalex.org/W4386614288","https://openalex.org/W4298153058","https://openalex.org/W3176904788","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W21597398","https://openalex.org/W2115480761","https://openalex.org/W2095071140","https://openalex.org/W2091617677","https://openalex.org/W1913543287"],"abstract_inverted_index":{"The":[0,102],"satisfiability":[1],"problem":[2,85,172],"(SAT)":[3],"is":[4,24,57,77,99,206,237],"one":[5],"of":[6,46,69,83,93,119,177,187,193,218,303],"the":[7,71,80,84,91,117,133,143,175,188,191,203,219,222,235,270,276,297,300],"most":[8,63],"famous":[9],"problems":[10],"in":[11,33,54,141,294],"computer":[12],"science.":[13],"Traditionally,":[14],"its":[15],"NP-completeness":[16],"has":[17,86],"been":[18,29],"used":[19],"to":[20,41,115],"argue":[21],"that":[22,36,79,234,246,255,275,296],"SAT":[23,39,73,195],"intractable.":[25],"However,":[26],"there":[27,65,137],"have":[28],"tremendous":[30],"practical":[31],"advances":[32],"recent":[34],"years":[35],"allow":[37],"modern":[38],"solvers":[40],"solve":[42],"instances":[43],"with":[44],"millions":[45],"variables":[47],"and":[48,108],"clauses.":[49],"A":[50],"particularly":[51],"successful":[52,113],"paradigm":[53],"this":[55,162,286],"context":[56],"stochastic":[58],"local":[59],"search":[60],"(SLS).":[61],"In":[62,161],"cases,":[64],"are":[66,248,310],"different":[67],"ways":[68],"formulating":[70],"underlying":[72],"problem.":[74,135],"While":[75],"it":[76],"known":[78],"precise":[81],"formulation":[82,98],"a":[87,96,112,166,183,215,240,289],"significant":[88],"impact":[89],"on":[90,123,190,288],"runtime":[92,192,277],"solvers,":[94],"finding":[95],"helpful":[97],"generally":[100],"non-trivial.":[101],"recently":[103],"introduced":[104],"GapSAT":[105,178],"solver":[106,122],"[Lorenz":[107],"W\u00f6rz":[109],"2020]":[110],"demonstrated":[111],"way":[114],"improve":[116],"performance":[118,144],"an":[120],"SLS":[121,159,194],"average":[124],"by":[125],"learning":[126,153],"additional":[127,257],"information,":[128],"which":[129,142],"logically":[130,170],"entails":[131],"from":[132],"original":[134],"Still,":[136],"were":[138],"also":[139,232,284],"cases":[140],"slightly":[145],"deteriorated.":[146],"This":[147,180,253],"justifies":[148],"in-depth":[149],"investigations":[150],"into":[151],"how":[152],"logical":[154],"implications":[155],"affects":[156],"runtimes":[157,298],"for":[158,168,250,299],"algorithms.":[160],"work,":[163],"we":[164,198,243,283],"propose":[165],"method":[167,181],"generating":[169],"equivalent":[171],"formulations,":[173],"generalizing":[174],"ideas":[176],".":[179],"allows":[182],"rigorous":[184],"mathematical":[185],"study":[186],"effect":[189],"solvers.":[196],"Initially,":[197],"conduct":[199],"empirical":[200,271],"investigations.":[201],"If":[202],"modification":[204,267],"process":[205],"treated":[207],"as":[208],"random,":[209],"then":[210],"Johnson":[211,224,280,312],"SB":[212,225,281,313],"distributions":[213,226,278],"provide":[214],"perfect":[216],"characterization":[217],"hardness.":[220],"Since":[221,269],"observed":[223],"approach":[227],"lognormal":[228],"distributions,":[229,282],"our":[230],"analysis":[231],"suggests":[233],"hardness":[236],"long-tailed.":[238],"As":[239],"second":[241],"contribution,":[242],"theoretically":[244],"prove":[245],"restarts":[247,258],"useful":[249],"long-tailed":[251],"distributions.":[252],"implies":[254],"incorporating":[256],"can":[259],"further":[260],"refine":[261],"all":[262],"algorithms":[263],"employing":[264],"above":[265],"mentioned":[266],"technique.":[268],"studies":[272],"compellingly":[273],"suggest":[274],"follow":[279],"investigate":[285],"property":[287],"theoretical":[290],"basis.":[291],"We":[292],"succeed":[293],"proving":[295],"special":[301],"case":[302],"Sch\u00f6ning\u2019s":[304],"random":[305],"walk":[306],"algorithm":[307],"[Sch\u00f6ning":[308],"2002]":[309],"approximately":[311],"distributed.":[314]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4307562147","counts_by_year":[],"updated_date":"2025-02-27T04:13:57.241517","created_date":"2022-11-03"}