{"id":"https://openalex.org/W2932574801","doi":"https://doi.org/10.1007/978-3-030-17462-0_7","title":"On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition","display_name":"On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2932574801","doi":"https://doi.org/10.1007/978-3-030-17462-0_7","mag":"2932574801"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-17462-0_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17462-0_7","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17462-0_7.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17462-0_7.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058590949","display_name":"Thomas Bl\u00e4sius","orcid":"https://orcid.org/0000-0003-2450-744X"},"institutions":[{"id":"https://openalex.org/I143288331","display_name":"Hasso Plattner Institute","ror":"https://ror.org/058rn5r42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I143288331","https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Thomas Bl\u00e4sius","raw_affiliation_strings":["Hasso Plattner Institute, Potsdam, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hasso Plattner Institute, Potsdam, Germany","institution_ids":["https://openalex.org/I143288331"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077389210","display_name":"Tobias Friedrich","orcid":"https://orcid.org/0000-0003-0076-6308"},"institutions":[{"id":"https://openalex.org/I143288331","display_name":"Hasso Plattner Institute","ror":"https://ror.org/058rn5r42","country_code":"DE","type":"facility","lineage":["https://openalex.org/I143288331","https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tobias Friedrich","raw_affiliation_strings":["Hasso Plattner Institute, Potsdam, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hasso Plattner Institute, Potsdam, Germany","institution_ids":["https://openalex.org/I143288331"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004695687","display_name":"Andrew M. Sutton","orcid":"https://orcid.org/0000-0003-1295-6715"},"institutions":[{"id":"https://openalex.org/I4210115145","display_name":"University of Minnesota, Duluth","ror":"https://ror.org/01hy4qx27","country_code":"US","type":"education","lineage":["https://openalex.org/I4210115145"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew M. Sutton","raw_affiliation_strings":["University of Minnesota Duluth, Duluth, MN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Minnesota Duluth, Duluth, MN, USA","institution_ids":["https://openalex.org/I4210115145"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5058590949"],"corresponding_institution_ids":["https://openalex.org/I143288331"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.961,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.69042467,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"117","last_page":"134"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9994999766349792,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9988999962806702,"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/T11106","display_name":"Data Management and Algorithms","score":0.9916999936103821,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/backtracking","display_name":"Backtracking","score":0.8864926099777222},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6204754114151001},{"id":"https://openalex.org/keywords/scaling","display_name":"Scaling","score":0.6174310445785522},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5600956678390503},{"id":"https://openalex.org/keywords/exponent","display_name":"Exponent","score":0.5070135593414307},{"id":"https://openalex.org/keywords/phase-transition","display_name":"Phase transition","score":0.4629209041595459},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.4589378237724304},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.4368606209754944},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.4103461802005768},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37003064155578613},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.27087974548339844},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.20625650882720947}],"concepts":[{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.8864926099777222},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6204754114151001},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.6174310445785522},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5600956678390503},{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.5070135593414307},{"id":"https://openalex.org/C149288129","wikidata":"https://www.wikidata.org/wiki/Q185357","display_name":"Phase transition","level":2,"score":0.4629209041595459},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.4589378237724304},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.4368606209754944},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.4103461802005768},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37003064155578613},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27087974548339844},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.20625650882720947},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-17462-0_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17462-0_7","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17462-0_7.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-17462-0_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17462-0_7","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17462-0_7.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2932574801.pdf","grobid_xml":"https://content.openalex.org/works/W2932574801.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W4983232","https://openalex.org/W73352345","https://openalex.org/W139325465","https://openalex.org/W145815032","https://openalex.org/W153009120","https://openalex.org/W153834087","https://openalex.org/W1518705996","https://openalex.org/W1548827561","https://openalex.org/W1555678362","https://openalex.org/W1559492868","https://openalex.org/W1570661221","https://openalex.org/W1589158953","https://openalex.org/W1620410031","https://openalex.org/W1889538462","https://openalex.org/W1969966778","https://openalex.org/W2027377866","https://openalex.org/W2036265926","https://openalex.org/W2070702809","https://openalex.org/W2107914461","https://openalex.org/W2138778293","https://openalex.org/W2148779774","https://openalex.org/W2155218845","https://openalex.org/W2165372647","https://openalex.org/W2265246327","https://openalex.org/W2295672679","https://openalex.org/W2604154532","https://openalex.org/W2741122540","https://openalex.org/W2746629507","https://openalex.org/W2963572639","https://openalex.org/W3104641269","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2760348722","https://openalex.org/W2783885583","https://openalex.org/W2120095724","https://openalex.org/W2368326437","https://openalex.org/W2357479099","https://openalex.org/W2364309619","https://openalex.org/W2371864976","https://openalex.org/W2102980637","https://openalex.org/W2596950579","https://openalex.org/W2327230097"],"abstract_inverted_index":{"The":[0,223],"hardness":[1],"of":[2,9,107,132,141,161,174,185,197,226],"formulas":[3,109],"at":[4,36,164,251],"the":[5,37,87,105,114,129,139,142,159,165,172,175,183,195,230,243,252],"solubility":[6],"phase":[7,166,254],"transition":[8,167,255],"random":[10,76,232],"propositional":[11],"satisfiability":[12],"(SAT)":[13],"has":[14],"been":[15],"intensely":[16],"studied":[17],"for":[18],"decades":[19],"both":[20],"empirically":[21,126],"and":[22,121,248],"theoretically.":[23],"Solvers":[24],"based":[25],"on":[26,138,215],"stochastic":[27],"local":[28],"search":[29,190],"(SLS)":[30],"appear":[31,65,92,97],"to":[32,66,113,151,171,235],"scale":[33,213],"very":[34],"well":[35,214],"critical":[38],"threshold,":[39],"while":[40,95],"complete":[41,122,162,189,247],"backtracking":[42,55,123,135],"solvers":[43,56,64,120,136,163,250],"exhibit":[44,70],"exponential":[45],"scaling.":[46],"On":[47],"industrial":[48,60],"SAT":[49,108],"instances,":[50,217],"this":[51,227],"phenomenon":[52],"is":[53,145,168,192],"inverted:":[54],"can":[57],"tackle":[58],"large":[59],"problems,":[61],"where":[62],"SLS-based":[63],"stall.":[67],"Industrial":[68],"instances":[69],"sharply":[71],"different":[72],"structure":[73],"than":[74],"uniform":[75,216,253],"instances.":[77],"Among":[78],"many":[79,94],"other":[80],"properties,":[81],"they":[82],"are":[83,218],"often":[84],"heterogeneous":[85],"in":[86,93,98,116,188,242,257],"sense":[88],"that":[89,104,158,181,208],"some":[90],"variables":[91,149],"others":[96],"only":[99],"few":[100],"clauses.":[101],"We":[102,125,178,205],"conjecture":[103],"heterogeneity":[106,140,173,198,237],"alone":[110],"already":[111],"contributes":[112],"trade-off":[115],"performance":[117],"between":[118,246],"SLS":[119,133,210,249],"solvers.":[124],"determine":[127],"how":[128],"run":[130],"time":[131],"vs.":[134],"depends":[137],"input,":[143],"which":[144,212],"controlled":[146],"by":[147,194,201,221],"drawing":[148],"according":[150],"a":[152,202],"scale-free":[153,231],"distribution.":[154,177],"Our":[155],"experiments":[156],"reveal":[157],"efficiency":[160],"strongly":[169],"related":[170],"degree":[176],"report":[179],"results":[180],"suggest":[182],"depth":[184],"satisfying":[186],"assignments":[187],"trees":[191],"influenced":[193],"level":[196],"as":[199,238],"measured":[200],"power-law":[203],"exponent.":[204],"also":[206],"find":[207],"incomplete":[209],"solvers,":[211],"not":[219],"affected":[220],"heterogeneity.":[222],"main":[224],"contribution":[225],"paper":[228],"utilizes":[229],"3-SAT":[233],"model":[234],"isolate":[236],"an":[239],"important":[240],"factor":[241],"scaling":[244],"discrepancy":[245],"found":[256],"previous":[258],"works.":[259]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}