{"id":"https://openalex.org/W2004472922","doi":"https://doi.org/10.1002/(sici)1098-2418(199910/12)15:3/4<414::aid-rsa10>3.0.co;2-g","title":"2+p-SAT: Relation of typical-case complexity to the nature of the phase transition","display_name":"2+p-SAT: Relation of typical-case complexity to the nature of the phase transition","publication_year":1999,"publication_date":"1999-10-01","ids":{"openalex":"https://openalex.org/W2004472922","doi":"https://doi.org/10.1002/(sici)1098-2418(199910/12)15:3/4<414::aid-rsa10>3.0.co;2-g","mag":"2004472922"},"language":"en","primary_location":{"id":"doi:10.1002/(sici)1098-2418(199910/12)15:3/4<414::aid-rsa10>3.0.co;2-g","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1098-2418(199910/12)15:3/4<414::aid-rsa10>3.0.co;2-g","pdf_url":null,"source":{"id":"https://openalex.org/S59667848","display_name":"Random Structures and Algorithms","issn_l":"1042-9832","issn":["1042-9832","1098-2418"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Random Structures and Algorithms","raw_type":"journal-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/A5113696128","display_name":"R\ufffdmi Monasson","orcid":null},"institutions":[{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4210109170","display_name":"Laboratoire de Physique Th\u00e9orique","ror":"https://ror.org/01w0hda30","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210098836","https://openalex.org/I4210109170","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210129651","display_name":"Laboratoire de Physique de l'Ecole Normale Sup\u00e9rieure","ror":"https://ror.org/03a26mh11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I2746051580","https://openalex.org/I2746051580","https://openalex.org/I2800004676","https://openalex.org/I29607241","https://openalex.org/I39804081","https://openalex.org/I4210129651"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"R\ufffdmi Monasson","raw_affiliation_strings":["Laboratoire de Physique The\u0301orique de l'ENS, Paris, France","Laboratoire de Physique Th\u00e9orique de l'ENS, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de Physique The\u0301orique de l'ENS, Paris, France","institution_ids":["https://openalex.org/I4210109170","https://openalex.org/I4210129651"]},{"raw_affiliation_string":"Laboratoire de Physique Th\u00e9orique de l'ENS, Paris, France","institution_ids":["https://openalex.org/I29607241","https://openalex.org/I4210109170","https://openalex.org/I4210129651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041685522","display_name":"Riccardo Zecchina","orcid":"https://orcid.org/0000-0002-1221-5207"},"institutions":[{"id":"https://openalex.org/I12323705","display_name":"The Abdus Salam International Centre for Theoretical Physics (ICTP)","ror":"https://ror.org/009gyvm78","country_code":"IT","type":"facility","lineage":["https://openalex.org/I12323705","https://openalex.org/I1286959531","https://openalex.org/I1293226324","https://openalex.org/I2801247003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Riccardo Zecchina","raw_affiliation_strings":["International Centre for Theoretical Physics, Trieste, Italy","International Centre for Theoretical Physics Trieste, Italy;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"International Centre for Theoretical Physics, Trieste, Italy","institution_ids":["https://openalex.org/I12323705"]},{"raw_affiliation_string":"International Centre for Theoretical Physics Trieste, Italy;","institution_ids":["https://openalex.org/I12323705"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013336788","display_name":"Scott Kirkpatrick","orcid":"https://orcid.org/0000-0001-5273-395X"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Scott Kirkpatrick","raw_affiliation_strings":["IBM, Thomas J. Watson Research Center, Yorktown Heights, NY 10598","IBM Thomas J. Watson Research Center, Yorktown Heights NY 10598"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM, Thomas J. Watson Research Center, Yorktown Heights, NY 10598","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, Yorktown Heights NY 10598","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105461279","display_name":"Bart Selman","orcid":"https://orcid.org/0000-0003-0666-3123"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bart Selman","raw_affiliation_strings":["Computer Science Department, Cornell University, Ithaca, NY 14853","Computer Science Dept, Cornell University, Ithaca, NY 14853"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Cornell University, Ithaca, NY 14853","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Computer Science Dept, Cornell University, Ithaca, NY 14853","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026742531","display_name":"Lidror Troyansky","orcid":null},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Lidror Troyansky","raw_affiliation_strings":["Computer Science Department, Hebrew University, Jerusalem, Israel","[Computer Science Department, Hebrew University, Jerusalem, Israel]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"[Computer Science Department, Hebrew University, Jerusalem, Israel]","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5013336788"],"corresponding_institution_ids":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"],"apc_list":{"value":4330,"currency":"USD","value_usd":4330},"apc_paid":null,"fwci":10.1602,"has_fulltext":false,"cited_by_count":96,"citation_normalized_percentile":{"value":0.98104205,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"15","issue":"3-4","first_page":"414","last_page":"435"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9993000030517578,"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.9993000030517578,"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/T12288","display_name":"Optimization and Search Problems","score":0.9962000250816345,"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/T12176","display_name":"Optimization and Packing Problems","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/phase-transition","display_name":"Phase transition","score":0.6779555678367615},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.6717126369476318},{"id":"https://openalex.org/keywords/changeover","display_name":"Changeover","score":0.6402271389961243},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6124008893966675},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5676021575927734},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5667872428894043},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.49727681279182434},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4349445402622223},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4164450168609619},{"id":"https://openalex.org/keywords/statistical-physics","display_name":"Statistical physics","score":0.39760375022888184},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3512521982192993},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3498222827911377},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2714070677757263},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.19885757565498352},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.16197586059570312},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13966405391693115},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.13027295470237732},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1280953586101532}],"concepts":[{"id":"https://openalex.org/C149288129","wikidata":"https://www.wikidata.org/wiki/Q185357","display_name":"Phase transition","level":2,"score":0.6779555678367615},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.6717126369476318},{"id":"https://openalex.org/C2780129190","wikidata":"https://www.wikidata.org/wiki/Q5071912","display_name":"Changeover","level":3,"score":0.6402271389961243},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6124008893966675},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5676021575927734},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5667872428894043},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.49727681279182434},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4349445402622223},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4164450168609619},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.39760375022888184},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3512521982192993},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3498222827911377},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2714070677757263},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19885757565498352},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.16197586059570312},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13966405391693115},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.13027295470237732},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1280953586101532},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/(sici)1098-2418(199910/12)15:3/4<414::aid-rsa10>3.0.co;2-g","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1098-2418(199910/12)15:3/4<414::aid-rsa10>3.0.co;2-g","pdf_url":null,"source":{"id":"https://openalex.org/S59667848","display_name":"Random Structures and Algorithms","issn_l":"1042-9832","issn":["1042-9832","1098-2418"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Random Structures and Algorithms","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8100000023841858,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W4983232","https://openalex.org/W7808274","https://openalex.org/W42367353","https://openalex.org/W115836650","https://openalex.org/W1541044193","https://openalex.org/W1561608403","https://openalex.org/W1592629506","https://openalex.org/W1772716870","https://openalex.org/W1968198053","https://openalex.org/W1971565000","https://openalex.org/W1976736848","https://openalex.org/W1985250014","https://openalex.org/W1998236996","https://openalex.org/W2000931246","https://openalex.org/W2004787548","https://openalex.org/W2011039300","https://openalex.org/W2018251959","https://openalex.org/W2023379267","https://openalex.org/W2024060531","https://openalex.org/W2027343494","https://openalex.org/W2031823362","https://openalex.org/W2036265926","https://openalex.org/W2044767119","https://openalex.org/W2051580875","https://openalex.org/W2062897452","https://openalex.org/W2063102449","https://openalex.org/W2066200762","https://openalex.org/W2066424095","https://openalex.org/W2078137578","https://openalex.org/W2083715726","https://openalex.org/W2084033406","https://openalex.org/W2088616860","https://openalex.org/W2089500395","https://openalex.org/W2133671888","https://openalex.org/W2158907280","https://openalex.org/W2161278885","https://openalex.org/W2476096155","https://openalex.org/W2905110430","https://openalex.org/W2951758740","https://openalex.org/W3123481344","https://openalex.org/W3143264742","https://openalex.org/W4206502013","https://openalex.org/W4213009134","https://openalex.org/W4406155361","https://openalex.org/W6601274655"],"related_works":["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/W2115618655","https://openalex.org/W2513360157","https://openalex.org/W4312926500","https://openalex.org/W2067280619"],"abstract_inverted_index":{"Heuristic":[0],"methods":[1],"for":[2,143,151],"solution":[3,48],"of":[4,10,52,61,94,102,113,122,131,156,169,171,193,198,207,210,223],"problems":[5,12,64,233],"in":[6,58,65,164,166,185,214,220,230,234],"the":[7,25,53,59,91,128,144,154,161,167,194,208,211,221,235],"NP-complete":[8],"class":[9],"decision":[11,26],"often":[13],"reach":[14],"exact":[15],"solutions,":[16],"but":[17,174],"fail":[18],"badly":[19],"at":[20,120],"\u201cphase":[21],"boundaries,\u201d":[22],"across":[23],"which":[24,70,159],"to":[27,37,84,126,183,251],"be":[28,244],"reached":[29],"changes":[30],"from":[31,81],"almost":[32,38],"always":[33,39],"having":[34,40],"one":[35],"value":[36],"a":[41,68,79,82,85,141,215,247],"different":[42],"value.":[43],"We":[44],"report":[45],"an":[46],"analytic":[47],"and":[49,75,177,200],"experimental":[50],"investigations":[51],"phase":[54,87,117,163],"transition":[55,88,179,190],"that":[56],"occurs":[57],"limit":[60],"very":[62],"large":[63,124,236],"K-SAT.":[66,186],"Studying":[67],"model":[69],"interpolates":[71],"K-SAT":[72,165],"between":[73],"K=2":[74],"K=3,":[76],"we":[77],"find":[78],"change":[80],"continuous":[83],"discontinuous":[86],"when":[89,246],"K,":[90],"average":[92],"number":[93],"inputs":[95,158],"per":[96],"clause,":[97],"exceeds":[98],"0.4.":[99],"The":[100,111,187],"cost":[101,130,145],"finding":[103],"solutions":[104],"also":[105],"increases":[106],"dramatically":[107],"above":[108],"this":[109,175,178],"changeover.":[110],"nature":[112],"its":[114],"\u201crandom":[115],"first-order\u201d":[116],"transition,":[118],"seen":[119],"values":[121],"K":[123],"enough":[125],"make":[127],"computational":[129],"solving":[132],"typical":[133],"instances":[134],"increase":[135],"exponentially":[136],"with":[137],"problem":[138],"size,":[139],"suggests":[140],"mechanism":[142],"increase.":[146],"There":[147],"has":[148],"been":[149],"evidence":[150],"features":[152],"like":[153],"\u201cbackbone\u201d":[155,248],"frozen":[157],"characterizes":[160],"UNSAT":[162],"study":[168],"models":[170],"disordered":[172],"materials,":[173],"feature":[176],"are":[180],"uniquely":[181],"accessible":[182],"analysis":[184],"random":[188],"first-order":[189,195],"combines":[191],"properties":[192],"(discontinuous":[196],"onset":[197],"order)":[199],"second-order":[201],"(with":[202],"power":[203],"law":[204],"scaling,":[205],"e.g.,":[206],"width":[209],"critical":[212],"region":[213],"finite":[216],"system)":[217],"transitions":[218,227],"known":[219,250],"physics":[222],"pure":[224],"solids.":[225],"Such":[226],"should":[228],"occur":[229],"other":[231],"combinatoric":[232],"N":[237],"limit.":[238],"Finally,":[239],"improved":[240],"search":[241],"heuristics":[242],"may":[243],"developed":[245],"is":[249],"exist.":[252],"\u00a91999":[253],"John":[254],"Wiley":[255],"&":[256],"Sons,":[257],"Inc.":[258],"Random":[259],"Struct.":[260],"Alg.,":[261],"15,":[262],"414\u2013435,":[263],"1999":[264]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}