{"id":"https://openalex.org/W2131338348","doi":"https://doi.org/10.1145/1219092.1219098","title":"On the maximum satisfiability of random formulas","display_name":"On the maximum satisfiability of random formulas","publication_year":2007,"publication_date":"2007-04-01","ids":{"openalex":"https://openalex.org/W2131338348","doi":"https://doi.org/10.1145/1219092.1219098","mag":"2131338348"},"language":"en","primary_location":{"id":"doi:10.1145/1219092.1219098","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1219092.1219098","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","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/A5021300666","display_name":"Dimitris Achlioptas","orcid":"https://orcid.org/0000-0003-2349-822X"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]},{"id":"https://openalex.org/I4210150247","display_name":"Santa Cruz County Office of Education","ror":"https://ror.org/05dqak117","country_code":"US","type":"government","lineage":["https://openalex.org/I4210150247"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dimitris Achlioptas","raw_affiliation_strings":["U.C. Santa Cruz, Santa Cruz, CA","U. C. Santa Cruz, Santa Cruz, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"U.C. Santa Cruz, Santa Cruz, CA","institution_ids":["https://openalex.org/I4210150247","https://openalex.org/I185103710"]},{"raw_affiliation_string":"U. C. Santa Cruz, Santa Cruz, CA","institution_ids":["https://openalex.org/I4210150247","https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052985577","display_name":"Assaf Naor","orcid":null},"institutions":[{"id":"https://openalex.org/I36672615","display_name":"Courant Institute of Mathematical Sciences","ror":"https://ror.org/037tm7f56","country_code":"US","type":"education","lineage":["https://openalex.org/I36672615","https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Assaf Naor","raw_affiliation_strings":["Courant Institute, NYU"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Courant Institute, NYU","institution_ids":["https://openalex.org/I36672615"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020836845","display_name":"Yuval Peres","orcid":"https://orcid.org/0000-0001-5456-6323"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Yuval Peres","raw_affiliation_strings":["U.C. Berkeley and Microsoft Research","U.C. Berkeley and Microsoft Research#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"U.C. Berkeley and Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]},{"raw_affiliation_string":"U.C. Berkeley and Microsoft Research#TAB#","institution_ids":["https://openalex.org/I4210164937"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4729,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.83036701,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"54","issue":"2","first_page":"10","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9994000196456909,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9994000196456909,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.998199999332428,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7502832412719727},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7318741679191589},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6374518871307373},{"id":"https://openalex.org/keywords/fraction","display_name":"Fraction (chemistry)","score":0.46243250370025635},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4428708553314209},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.41013437509536743},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3658936023712158},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.08009490370750427}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7502832412719727},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7318741679191589},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6374518871307373},{"id":"https://openalex.org/C149629883","wikidata":"https://www.wikidata.org/wiki/Q660926","display_name":"Fraction (chemistry)","level":2,"score":0.46243250370025635},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4428708553314209},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.41013437509536743},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3658936023712158},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.08009490370750427},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1219092.1219098","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1219092.1219098","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W125178576","https://openalex.org/W189633613","https://openalex.org/W1618718293","https://openalex.org/W1667614912","https://openalex.org/W1963913579","https://openalex.org/W1983976275","https://openalex.org/W1991365442","https://openalex.org/W1995226557","https://openalex.org/W1999032440","https://openalex.org/W2004216344","https://openalex.org/W2010193278","https://openalex.org/W2019433297","https://openalex.org/W2036265926","https://openalex.org/W2040924621","https://openalex.org/W2044722214","https://openalex.org/W2068871408","https://openalex.org/W2072802070","https://openalex.org/W2078137578","https://openalex.org/W2095709533","https://openalex.org/W2097113315","https://openalex.org/W2108446739","https://openalex.org/W2126420408","https://openalex.org/W2132240307","https://openalex.org/W2145098470","https://openalex.org/W2167266655","https://openalex.org/W2242479605","https://openalex.org/W2916782021","https://openalex.org/W4230280967","https://openalex.org/W4386648629"],"related_works":["https://openalex.org/W2480084299","https://openalex.org/W2014111643","https://openalex.org/W3107131366","https://openalex.org/W2091617677","https://openalex.org/W2571882453","https://openalex.org/W2076399409","https://openalex.org/W4211028879","https://openalex.org/W3128448798","https://openalex.org/W2408080066","https://openalex.org/W1608133301"],"abstract_inverted_index":{"Say":[0],"that":[1,32,83],"a":[2,5,12,16,48,92],"k":[3,22,27,34,41,50,61,72,76,79,94,98],"-CNF":[4,35,51,95],"formula":[6,36,52,96],"is":[7,37,104],"p-satisfiable":[8],"if":[9],"there":[10],"exists":[11],"truth":[13],"assignment":[14],"satisfying":[15],"fraction":[17],"1":[18,88],"\u2212":[19,21,26,78],"2":[20,25,77],"+":[23],"p":[24,69,105,110],"of":[28],"its":[29],"clauses":[30],"(note":[31],"every":[33,60,64],"0-satisfiable).":[38],"Let":[39],"F":[40,97],"(":[42,75,99,109],"n":[43,54,90,100],",":[44,101],"m":[45,57],")":[46,81,103],"denote":[47],"random":[49,93],"on":[53],"variables":[55],"with":[56,84],"clauses.":[58],"For":[59],"\u22652":[62],"and":[63,70],"r":[65],">0":[66],"we":[67],"determine":[68],"\u03b4=\u03b4(":[71],")=":[73],"O":[74],"/2":[80],"such":[82],"probability":[85],"tending":[86],"to":[87],"as":[89],"\u2192\u221e,":[91],"rn":[102],"-satisfiable":[106],"but":[107],"not":[108],"+\u03b4)-satisfiable.":[111]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}