{"id":"https://openalex.org/W4407811134","doi":"https://doi.org/10.3233/978-1-58603-929-5-245","title":"Random Satisfiability","display_name":"Random Satisfiability","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W4407811134","doi":"https://doi.org/10.3233/978-1-58603-929-5-245"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-58603-929-5-245","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-58603-929-5-245","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","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/A5116363247","display_name":"Achlioptas Dimitris","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Achlioptas Dimitris","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5116363247"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.45097469,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.4991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.4991999864578247,"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/satisfiability","display_name":"Satisfiability","score":0.7330974340438843},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4445445239543915},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.323536217212677},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2495022714138031}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7330974340438843},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4445445239543915},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.323536217212677},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2495022714138031}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/978-1-58603-929-5-245","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-58603-929-5-245","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"In":[0],"the":[1,14,37,59,71],"last":[2],"twenty":[3],"years":[4],"a":[5,22,52,66],"significant":[6],"amount":[7],"of":[8,16,24,54,70],"effort":[9],"has":[10],"been":[11,28],"devoted":[12],"to":[13,88,101],"study":[15],"randomly":[17],"generated":[18],"satisfiability":[19],"instances.":[20],"While":[21],"number":[23,53],"generative":[25],"models":[26],"have":[27],"proposed,":[29],"uniformly":[30],"random":[31,79],"k-CNF":[32,80],"formulas":[33,50],"are":[34],"by":[35],"now":[36],"dominant":[38],"and":[39],"most":[40],"studied":[41],"model.":[42],"One":[43],"reason":[44],"for":[45,61,77,93],"this":[46],"is":[47,65,82,95],"that":[48,76,86,99],"such":[49,75],"enjoy":[51],"intriguing":[55],"mathematical":[56],"properties,":[57],"including":[58],"following:":[60],"each":[62],"k≥3,":[63],"there":[64],"critical":[67],"value,":[68],"rk,":[69],"clauses-to-variables":[72],"ratio,":[73],"r,":[74],"r<rka":[78],"formula":[81],"satisfiable":[83],"with":[84,97],"probability":[85,98],"tends":[87,100],"1":[89,102],"as":[90,103],"n→∞,":[91],"while":[92],"r>rkit":[94],"unsatisfiable":[96],"n→∞.":[104]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}