{"id":"https://openalex.org/W4310037456","doi":"https://doi.org/10.3233/faia220420","title":"Empirical Evaluation of the Asymptotic Behavior of the Analysis Complexity of Hard Random 3-CNF Formulas","display_name":"Empirical Evaluation of the Asymptotic Behavior of the Analysis Complexity of Hard Random 3-CNF Formulas","publication_year":2022,"publication_date":"2022-11-24","ids":{"openalex":"https://openalex.org/W4310037456","doi":"https://doi.org/10.3233/faia220420"},"language":"en","primary_location":{"id":"doi:10.3233/faia220420","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia220420","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA220420","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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","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":true,"oa_status":"hybrid","oa_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA220420","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010151528","display_name":"\u0421. \u0418. \u0423\u0432\u0430\u0440\u043e\u0432","orcid":"https://orcid.org/0000-0002-1023-5212"},"institutions":[{"id":"https://openalex.org/I4210157430","display_name":"V. A. Trapeznikov Institute of Control Sciences","ror":"https://ror.org/05f3yt521","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210157430","https://openalex.org/I4210164537"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Sergey I. Uvarov","raw_affiliation_strings":["Institute of Control Science RAS, Moscow, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Control Science RAS, Moscow, Russia","institution_ids":["https://openalex.org/I4210157430"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5010151528"],"corresponding_institution_ids":["https://openalex.org/I4210157430"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.41799645,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9904000163078308,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9904000163078308,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9821000099182129,"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/T10050","display_name":"Multi-Criteria Decision Making","score":0.9711999893188477,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.7466471195220947},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6859652400016785},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5895298719406128},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5719115734100342},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5511573553085327},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5262115001678467},{"id":"https://openalex.org/keywords/literal","display_name":"Literal (mathematical logic)","score":0.4845496714115143},{"id":"https://openalex.org/keywords/exponent","display_name":"Exponent","score":0.48240411281585693},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4626098573207855},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4485173225402832},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.42774590849876404},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4192473590373993},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.41698119044303894},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4113117754459381},{"id":"https://openalex.org/keywords/random-variable","display_name":"Random variable","score":0.41091832518577576},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.25926005840301514},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.15687808394432068}],"concepts":[{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.7466471195220947},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6859652400016785},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5895298719406128},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5719115734100342},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5511573553085327},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5262115001678467},{"id":"https://openalex.org/C2780882242","wikidata":"https://www.wikidata.org/wiki/Q14235582","display_name":"Literal (mathematical logic)","level":2,"score":0.4845496714115143},{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.48240411281585693},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4626098573207855},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4485173225402832},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.42774590849876404},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4192473590373993},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.41698119044303894},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4113117754459381},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.41091832518577576},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25926005840301514},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.15687808394432068},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","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/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/faia220420","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia220420","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA220420","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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.3233/faia220420","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia220420","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA220420","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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1518885151","https://openalex.org/W1561608403","https://openalex.org/W1999823208","https://openalex.org/W3208328789","https://openalex.org/W4206807714","https://openalex.org/W6631528946"],"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":{"This":[0],"paper":[1],"continued":[2],"the":[3,6,10,19,25,42,49,67,81,86,94,97,110,117,121,138,148,152],"study":[4,111],"of":[5,9,13,33,38,80,83,88,96,109,116,120,127,140,158,170],"complexity":[7,119,139,150,159],"behavior":[8],"satisfiability":[11],"analysis":[12,141],"hard":[14],"random":[15,143,163],"formulas":[16,165],"given":[17],"in":[18,41,174],"conjunctive":[20],"normal":[21],"form":[22],"(CNF).":[23],"In":[24,46],"3-CNF":[26,144,164],"formula,":[27],"each":[28],"clause":[29],"contains":[30],"three":[31],"literals":[32,99],"logical":[34,39],"variables.":[35,89,128],"The":[36,63,90,129,155],"number":[37,82,87,126],"variables":[40],"formula":[43],"is":[44,52,112,172],"N.":[45],"this":[47,175],"paper,":[48],"SAT":[50,122],"solver":[51,64],"improved":[53],"by":[54],"introducing":[55],"equality":[56],"reduction":[57],"and":[58],"pure":[59,98],"literal":[60],"identification":[61,100],"procedures.":[62],"improvement":[65],"reduced":[66],"exponent":[68],"(with":[69],"base":[70],"2)":[71],"from":[72],"N/20.86":[73],"to":[74,85],"N/21.41":[75],"with":[76,124],"an":[77,113],"R=4.6":[78],"ratio":[79],"clauses":[84],"results":[91],"show":[92],"that":[93],"efficiency":[95],"procedure":[101],"decreases":[102],"as":[103],"R":[104,171],"increases.":[105],"An":[106],"important":[107],"part":[108],"empirical":[114],"estimation":[115],"algorithmic":[118,149],"problem":[123],"large":[125],"proposed":[130],"method":[131],"gives":[132],"a":[133,167],"convenient":[134],"lower":[135],"bound":[136],"on":[137,160],"for":[142,151,162],"formulas.":[145],"We":[146],"estimated":[147],"range":[153],"N=256\u00f78192.":[154],"exponential":[156],"dependence":[157],"N":[161],"at":[166],"fixed":[168],"value":[169],"demonstrated":[173],"range.":[176]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}