{"id":"https://openalex.org/W3208328789","doi":"https://doi.org/10.3233/faia210281","title":"About Strong Dependence of the Complexity of Analysis of the Random 3-CNF Formulas on the Ratio of Number of Clauses to the Number of Variables","display_name":"About Strong Dependence of the Complexity of Analysis of the Random 3-CNF Formulas on the Ratio of Number of Clauses to the Number of Variables","publication_year":2021,"publication_date":"2021-10-29","ids":{"openalex":"https://openalex.org/W3208328789","doi":"https://doi.org/10.3233/faia210281","mag":"3208328789"},"language":"en","primary_location":{"id":"doi:10.3233/faia210281","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia210281","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA210281","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/FAIA210281","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","Corresponding author, 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"]},{"raw_affiliation_string":"Corresponding author, 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.5462,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.68111739,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"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/T14414","display_name":"Artificial Intelligence in Education","score":0.8503000140190125,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T14414","display_name":"Artificial Intelligence in Education","score":0.8503000140190125,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T13608","display_name":"Advanced Computational Techniques in Science and Engineering","score":0.8346999883651733,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.8227999806404114,"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/mathematics","display_name":"Mathematics","score":0.7691317200660706},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.6019628643989563},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5513656735420227},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5448784828186035},{"id":"https://openalex.org/keywords/random-variable","display_name":"Random variable","score":0.5085819959640503},{"id":"https://openalex.org/keywords/expected-value","display_name":"Expected value","score":0.4619482159614563},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.45289507508277893},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4477423131465912},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4124469757080078},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.2701348662376404},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.27002379298210144},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06096431612968445}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7691317200660706},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.6019628643989563},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5513656735420227},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5448784828186035},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.5085819959640503},{"id":"https://openalex.org/C141042865","wikidata":"https://www.wikidata.org/wiki/Q200125","display_name":"Expected value","level":2,"score":0.4619482159614563},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.45289507508277893},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4477423131465912},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4124469757080078},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.2701348662376404},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27002379298210144},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06096431612968445},{"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/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/faia210281","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia210281","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA210281","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/faia210281","is_oa":true,"landing_page_url":"https://doi.org/10.3233/faia210281","pdf_url":"https://ebooks.iospress.nl/pdf/doi/10.3233/FAIA210281","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":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3208328789.pdf","grobid_xml":"https://content.openalex.org/works/W3208328789.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1561608403","https://openalex.org/W1823551964","https://openalex.org/W2171790376","https://openalex.org/W3008398386","https://openalex.org/W4206807714","https://openalex.org/W6600321236","https://openalex.org/W6631528946"],"related_works":["https://openalex.org/W57364028","https://openalex.org/W2047057931","https://openalex.org/W2545761980","https://openalex.org/W170825502","https://openalex.org/W4285709129","https://openalex.org/W2049621396","https://openalex.org/W2066502241","https://openalex.org/W2354392213","https://openalex.org/W4249913278","https://openalex.org/W4382516233"],"abstract_inverted_index":{"The":[0,23,46],"results":[1,101],"of":[2,9,12,16,25,28,34,37,42,55,58,67,71,75,80,86,102,112,116,119],"a":[3],"computational":[4,47],"experiment":[5,48],"on":[6,31,77],"the":[7,10,14,26,32,35,40,53,56,68,73,78,100,103,109,113,117,127],"assessment":[8],"complexity":[11,27,70,115],"proving":[13,30,72],"unsatisfiability":[15,74],"random":[17,120],"3-CNF":[18,121],"logical":[19],"formulas":[20,76],"are":[21],"presented.":[22],"dependence":[24,66],"this":[29,107],"R-ratio":[33],"number":[36,41,79],"clauses":[38],"to":[39,62,106,126],"variables":[43,59,81],"is":[44,96,122],"demonstrated.":[45],"was":[49,82],"carried":[50],"out":[51],"for":[52,84],"range":[54],"N-number":[57],"from":[60],"256":[61],"512.":[63],"An":[64],"exponential":[65,110],"median":[69,114],"revealed":[83],"each":[85],"R":[87],"value:":[88],"4.3,":[89],"4.6,":[90],"5.0,":[91],"5.5,":[92],"6.0.":[93],"A":[94],"formula":[95,108],"constructed":[97],"that":[98],"approximates":[99],"experiment.":[104],"According":[105],"component":[111],"analysis":[118],"estimated":[123],"as":[124],"2":[125],"power":[128],"N":[129],"/":[130],"(8.4R-17.8).":[131]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}