{"id":"https://openalex.org/W2096497777","doi":"https://doi.org/10.1073/pnas.0712263105","title":"Circumspect descent prevails in solving random constraint satisfaction problems","display_name":"Circumspect descent prevails in solving random constraint satisfaction problems","publication_year":2008,"publication_date":"2008-10-01","ids":{"openalex":"https://openalex.org/W2096497777","doi":"https://doi.org/10.1073/pnas.0712263105","mag":"2096497777","pmid":"https://pubmed.ncbi.nlm.nih.gov/18832149"},"language":"en","primary_location":{"id":"doi:10.1073/pnas.0712263105","is_oa":false,"landing_page_url":"https://doi.org/10.1073/pnas.0712263105","pdf_url":null,"source":{"id":"https://openalex.org/S125754415","display_name":"Proceedings of the National Academy of Sciences","issn_l":"0027-8424","issn":["0027-8424","1091-6490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320052","host_organization_name":"National Academy of Sciences","host_organization_lineage":["https://openalex.org/P4310320052"],"host_organization_lineage_names":["National Academy of Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the National Academy of Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/0711.4902","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086376684","display_name":"Mikko J. Alava","orcid":"https://orcid.org/0000-0001-9249-5079"},"institutions":[{"id":"https://openalex.org/I2800229700","display_name":"Helsinki Institute of Physics","ror":"https://ror.org/01x2x1522","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I2800229700","https://openalex.org/I63548447","https://openalex.org/I94722563","https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Mikko Alava","raw_affiliation_strings":["*Department of Engineering Physics, Helsinki University of Technology, P.O. Box 1100, FI-02015, Espoo, Finland;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"*Department of Engineering Physics, Helsinki University of Technology, P.O. Box 1100, FI-02015, Espoo, Finland;","institution_ids":["https://openalex.org/I2800229700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069269787","display_name":"John Ardelius","orcid":null},"institutions":[{"id":"https://openalex.org/I2800780207","display_name":"Swedish Institute","ror":"https://ror.org/022w3f533","country_code":"SE","type":"government","lineage":["https://openalex.org/I2800780207"]},{"id":"https://openalex.org/I4210135511","display_name":"AlbaNova","ror":"https://ror.org/044kkfr75","country_code":"SE","type":"facility","lineage":["https://openalex.org/I4210135511"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"John Ardelius","raw_affiliation_strings":["Department of Computational Biology, AlbaNova University Centre, SE-106 91 Stockholm, Sweden;","Swedish Institute of Computer Science AB, SE-164 29 Kista, Sweden;","AllbaNova Univ Ctr, Dept Computat Biol"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computational Biology, AlbaNova University Centre, SE-106 91 Stockholm, Sweden;","institution_ids":["https://openalex.org/I4210135511"]},{"raw_affiliation_string":"Swedish Institute of Computer Science AB, SE-164 29 Kista, Sweden;","institution_ids":["https://openalex.org/I2800780207"]},{"raw_affiliation_string":"AllbaNova Univ Ctr, Dept Computat Biol","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047019776","display_name":"Erik Aurell","orcid":"https://orcid.org/0000-0003-4906-3603"},"institutions":[{"id":"https://openalex.org/I4210135511","display_name":"AlbaNova","ror":"https://ror.org/044kkfr75","country_code":"SE","type":"facility","lineage":["https://openalex.org/I4210135511"]},{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Erik Aurell","raw_affiliation_strings":["Department of Computational Biology, AlbaNova University Centre, SE-106 91 Stockholm, Sweden;","Linnaeus Centre, KTH-Royal Institute of Technology, SE-100 44 Stockholm, Sweden;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computational Biology, AlbaNova University Centre, SE-106 91 Stockholm, Sweden;","institution_ids":["https://openalex.org/I4210135511"]},{"raw_affiliation_string":"Linnaeus Centre, KTH-Royal Institute of Technology, SE-100 44 Stockholm, Sweden;","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055721632","display_name":"Petteri Kaski","orcid":"https://orcid.org/0009-0002-3069-7753"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]},{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Petteri Kaski","raw_affiliation_strings":["Helsinki Institute for Information Technology (HIIT), Department of Computer Science, University of Helsinki, P.O.Box 68, FI-00014, Helsinki, Finland;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helsinki Institute for Information Technology (HIIT), Department of Computer Science, University of Helsinki, P.O.Box 68, FI-00014, Helsinki, Finland;","institution_ids":["https://openalex.org/I32943570","https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048692153","display_name":"Supriya Krishnamurthy","orcid":"https://orcid.org/0000-0002-5222-4941"},"institutions":[{"id":"https://openalex.org/I2800780207","display_name":"Swedish Institute","ror":"https://ror.org/022w3f533","country_code":"SE","type":"government","lineage":["https://openalex.org/I2800780207"]},{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Supriya Krishnamurthy","raw_affiliation_strings":["**School of Information and Communication Technology, KTH-Royal Institute of Technology, SE-164 40 Kista, Sweden; and","Swedish Institute of Computer Science AB, SE-164 29 Kista, Sweden;","KTH Royal Inst Technol, Royal Institute of Technology, Sch Informat & Commun Technol"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"**School of Information and Communication Technology, KTH-Royal Institute of Technology, SE-164 40 Kista, Sweden; and","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Swedish Institute of Computer Science AB, SE-164 29 Kista, Sweden;","institution_ids":["https://openalex.org/I2800780207"]},{"raw_affiliation_string":"KTH Royal Inst Technol, Royal Institute of Technology, Sch Informat & Commun Technol","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058753686","display_name":"Pekka Orponen","orcid":"https://orcid.org/0000-0002-0417-2104"},"institutions":[{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Pekka Orponen","raw_affiliation_strings":["Department of Information and Computer Science, Helsinki University of Technology, P.O. Box 5400, FI-02015, Espoo, Finland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Computer Science, Helsinki University of Technology, P.O. Box 5400, FI-02015, Espoo, Finland","institution_ids":["https://openalex.org/I32943570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061544010","display_name":"Sakari Seitz","orcid":null},"institutions":[{"id":"https://openalex.org/I2800229700","display_name":"Helsinki Institute of Physics","ror":"https://ror.org/01x2x1522","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I2800229700","https://openalex.org/I63548447","https://openalex.org/I94722563","https://openalex.org/I9927081"]},{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Sakari Seitz","raw_affiliation_strings":["*Department of Engineering Physics, Helsinki University of Technology, P.O. Box 1100, FI-02015, Espoo, Finland;","Department of Information and Computer Science, Helsinki University of Technology, P.O. Box 5400, FI-02015, Espoo, Finland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"*Department of Engineering Physics, Helsinki University of Technology, P.O. Box 1100, FI-02015, Espoo, Finland;","institution_ids":["https://openalex.org/I2800229700"]},{"raw_affiliation_string":"Department of Information and Computer Science, Helsinki University of Technology, P.O. Box 5400, FI-02015, Espoo, Finland","institution_ids":["https://openalex.org/I32943570"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":17.1619,"has_fulltext":false,"cited_by_count":74,"citation_normalized_percentile":{"value":0.99280845,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"105","issue":"40","first_page":"15253","last_page":"15257"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":1.0,"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":1.0,"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/T11106","display_name":"Data Management and Algorithms","score":0.9894999861717224,"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"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9800999760627747,"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/maxima-and-minima","display_name":"Maxima and minima","score":0.8169523477554321},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.5642161965370178},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5437369346618652},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5255669355392456},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5051270127296448},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.49752500653266907},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44643062353134155},{"id":"https://openalex.org/keywords/local-search","display_name":"Local search (optimization)","score":0.4457830488681793},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.4304676353931427},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4208645820617676},{"id":"https://openalex.org/keywords/condensation","display_name":"Condensation","score":0.4102194905281067},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40921711921691895},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4068619906902313},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1453109085559845},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10347077250480652}],"concepts":[{"id":"https://openalex.org/C186633575","wikidata":"https://www.wikidata.org/wiki/Q845060","display_name":"Maxima and minima","level":2,"score":0.8169523477554321},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.5642161965370178},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5437369346618652},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5255669355392456},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5051270127296448},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.49752500653266907},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44643062353134155},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.4457830488681793},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.4304676353931427},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4208645820617676},{"id":"https://openalex.org/C200093464","wikidata":"https://www.wikidata.org/wiki/Q166583","display_name":"Condensation","level":2,"score":0.4102194905281067},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40921711921691895},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4068619906902313},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1453109085559845},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10347077250480652},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"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/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1073/pnas.0712263105","is_oa":false,"landing_page_url":"https://doi.org/10.1073/pnas.0712263105","pdf_url":null,"source":{"id":"https://openalex.org/S125754415","display_name":"Proceedings of the National Academy of Sciences","issn_l":"0027-8424","issn":["0027-8424","1091-6490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320052","host_organization_name":"National Academy of Sciences","host_organization_lineage":["https://openalex.org/P4310320052"],"host_organization_lineage_names":["National Academy of Sciences"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the National Academy of Sciences","raw_type":"journal-article"},{"id":"pmid:18832149","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/18832149","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the National Academy of Sciences of the United States of America","raw_type":null},{"id":"pmh:oai:arXiv.org:0711.4902","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0711.4902","pdf_url":"https://arxiv.org/pdf/0711.4902","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.144.5922","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.5922","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.tcs.hut.fi/~orponen/papers/myopic.pdf","raw_type":"text"},{"id":"pmh:oai:pubmedcentral.nih.gov:2563103","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/2563103","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proc Natl Acad Sci U S A","raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:0711.4902","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0711.4902","pdf_url":"https://arxiv.org/pdf/0711.4902","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","score":0.7699999809265137,"display_name":"Affordable and clean energy"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320310086","display_name":"Helsingin Yliopisto","ror":"https://ror.org/040af2s02"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321108","display_name":"Academy of Finland","ror":"https://ror.org/05k73zm37"},{"id":"https://openalex.org/F4320337427","display_name":"Kavli Institute for Theoretical Physics, University of California, Santa Barbara","ror":"https://ror.org/02t274463"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W4983232","https://openalex.org/W30950413","https://openalex.org/W156009831","https://openalex.org/W1518885151","https://openalex.org/W1591939288","https://openalex.org/W1606298567","https://openalex.org/W1820801893","https://openalex.org/W1982157728","https://openalex.org/W1994795801","https://openalex.org/W2011039300","https://openalex.org/W2012642696","https://openalex.org/W2017127020","https://openalex.org/W2024060531","https://openalex.org/W2042243015","https://openalex.org/W2056828017","https://openalex.org/W2057361103","https://openalex.org/W2063428816","https://openalex.org/W2081431552","https://openalex.org/W2081692349","https://openalex.org/W2097532582","https://openalex.org/W2118401976","https://openalex.org/W2139955802","https://openalex.org/W2168290833","https://openalex.org/W2949171506","https://openalex.org/W2963773273","https://openalex.org/W3104223141","https://openalex.org/W4285719527","https://openalex.org/W4297799124","https://openalex.org/W4300005723","https://openalex.org/W6677676044"],"related_works":["https://openalex.org/W2091348864","https://openalex.org/W2569549435","https://openalex.org/W2784687883","https://openalex.org/W3014398131","https://openalex.org/W1524973174","https://openalex.org/W2354343466","https://openalex.org/W2997121997","https://openalex.org/W2294834135","https://openalex.org/W1540285992","https://openalex.org/W2784763367"],"abstract_inverted_index":{"We":[0,17,58,137],"study":[1,139],"the":[2,13,28,47,97,105,119,124,140,143],"performance":[3,94,109],"of":[4,12,31,110,142],"stochastic":[5,20,149],"local":[6,21,126,150],"search":[7,22,151],"algorithms":[8,69],"for":[9,85,87],"random":[10],"instances":[11,73],"K-satisfiability":[14],"(K-SAT)":[15],"problem.":[16],"present":[18],"a":[19,32,43,113],"algorithm,":[23],"ChainSAT,":[24],"which":[25],"moves":[26],"in":[27,39,46,55,76,104],"energy":[29,127],"landscape":[30],"problem":[33],"instance":[34],"by":[35,60,117,148],"never":[36],"going":[37],"upwards":[38],"energy.":[40],"ChainSAT":[41,65,111],"is":[42,112],"focused":[44,68],"algorithm":[45,120],"sense":[48],"that":[49,64,116],"it":[50,129],"focuses":[51],"on":[52],"variables":[53],"occurring":[54],"unsatisfied":[56],"clauses.":[57],"show":[59],"extensive":[61],"numerical":[62],"investigations":[63],"and":[66,101],"other":[67],"solve":[70],"large":[71],"K-SAT":[72],"almost":[74],"surely":[75],"linear":[77],"time,":[78],"up":[79],"to":[80],"high":[81],"clause-to-variable":[82],"ratios":[83],"alpha;":[84],"example,":[86],"K":[88],"=":[89],"4":[90],"we":[91],"observe":[92],"linear-time":[93],"well":[95],"beyond":[96],"recently":[98],"postulated":[99],"clustering":[100],"condensation":[102],"transitions":[103],"solution":[106,144],"space.":[107],"The":[108],"surprise":[114],"given":[115],"design":[118],"gets":[121],"trapped":[122],"into":[123],"first":[125],"minimum":[128],"encounters,":[130],"yet":[131],"no":[132],"such":[133],"minima":[134],"are":[135],"encountered.":[136],"also":[138],"geometry":[141],"space":[145],"as":[146],"accessed":[147],"algorithms.":[152]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}