{"id":"https://openalex.org/W2050917944","doi":"https://doi.org/10.1137/0218026","title":"CNF-Satisfiability Test by Counting and Polynomial Average Time","display_name":"CNF-Satisfiability Test by Counting and Polynomial Average Time","publication_year":1989,"publication_date":"1989-04-01","ids":{"openalex":"https://openalex.org/W2050917944","doi":"https://doi.org/10.1137/0218026","mag":"2050917944"},"language":"en","primary_location":{"id":"doi:10.1137/0218026","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0218026","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5062918669","display_name":"Kazuo Iwama","orcid":"https://orcid.org/0000-0002-5339-0669"},"institutions":[{"id":"https://openalex.org/I168356945","display_name":"Kyoto Sangyo University","ror":"https://ror.org/05t70xh16","country_code":"JP","type":"education","lineage":["https://openalex.org/I168356945"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Kazuo Iwama","raw_affiliation_strings":["Kyoto Sangyo University, Kyoto, Japan"],"affiliations":[{"raw_affiliation_string":"Kyoto Sangyo University, Kyoto, Japan","institution_ids":["https://openalex.org/I168356945"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5062918669"],"corresponding_institution_ids":["https://openalex.org/I168356945"],"apc_list":null,"apc_paid":null,"fwci":2.8705,"has_fulltext":false,"cited_by_count":81,"citation_normalized_percentile":{"value":0.91431825,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"18","issue":"2","first_page":"385","last_page":"391"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9915000200271606,"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/T10142","display_name":"Formal Methods in Verification","score":0.9915000200271606,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.988099992275238,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9871000051498413,"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/mathematics","display_name":"Mathematics","score":0.7400997281074524},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7338969707489014},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.6535606384277344},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.6337633728981018},{"id":"https://openalex.org/keywords/literal","display_name":"Literal (mathematical logic)","score":0.631890058517456},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.622154712677002},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.60113126039505},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.5793678760528564},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.5036076903343201},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44155991077423096},{"id":"https://openalex.org/keywords/binary-logarithm","display_name":"Binary logarithm","score":0.41491714119911194},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22156491875648499},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.085065096616745},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07803267240524292}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7400997281074524},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7338969707489014},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.6535606384277344},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.6337633728981018},{"id":"https://openalex.org/C2780882242","wikidata":"https://www.wikidata.org/wiki/Q14235582","display_name":"Literal (mathematical logic)","level":2,"score":0.631890058517456},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.622154712677002},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.60113126039505},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.5793678760528564},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.5036076903343201},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44155991077423096},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.41491714119911194},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22156491875648499},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.085065096616745},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07803267240524292},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0218026","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0218026","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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":13,"referenced_works":["https://openalex.org/W41104307","https://openalex.org/W1543281322","https://openalex.org/W1550402024","https://openalex.org/W1969377401","https://openalex.org/W1980584633","https://openalex.org/W1995067748","https://openalex.org/W2005220880","https://openalex.org/W2016042296","https://openalex.org/W2037712946","https://openalex.org/W2055978814","https://openalex.org/W2056084417","https://openalex.org/W2061496873","https://openalex.org/W4249958171"],"related_works":["https://openalex.org/W1540360785","https://openalex.org/W2067983896","https://openalex.org/W2981948274","https://openalex.org/W44982509","https://openalex.org/W2037639986","https://openalex.org/W2028837121","https://openalex.org/W1488898519","https://openalex.org/W2076477022","https://openalex.org/W1995067748","https://openalex.org/W2050917944"],"abstract_inverted_index":{"The":[0],"average-case":[1],"performance":[2],"of":[3,29,52,58,86],"an":[4],"algorithm":[5,21,149],"for":[6,26,141,155],"CNF":[7,30,88],"SAT,":[8,89],"recently":[9],"introduced":[10],"by":[11],"the":[12,20,33,50,56,63,79,126,147,167],"author,":[13],"is":[14,17,49,55,62,170],"discussed.":[15],"It":[16,73],"shown":[18],"that":[19,35,65,76],"takes":[22,90],"polynomial":[23,91,119,152],"average":[24,92,120,153],"time":[25,93,121,154],"a":[27,37,66,71,83],"class":[28],"equations":[31],"satisfying":[32],"condition":[34],"for,":[36],"constant":[38,143],"c,":[39],"$p^2":[40],"v":[41,48],"\\geqq":[42,96],"\\ln":[43,159,183],"t":[44,54],"-":[45],"c$,":[46],"where":[47],"number":[51,57],"variables,":[53],"clauses,":[59],"and":[60],"p":[61,131,180],"probability":[64],"given":[67],"literal":[68,81],"appears":[69],"in":[70,125,151],"clause.":[72],"was":[74],"known":[75,116],"backtracking":[77],"plus":[78],"pure":[80],"rule,":[82],"common":[84],"way":[85],"solving":[87],"if":[94],"$p":[95,103,156],"\\varepsilon":[97,133],"$":[98,140],"(any":[99],"small":[100],"constant)":[101],"or":[102],"\\leqq":[104,138],"c(\\ln":[105],"{v":[106,160,174,184],"/":[107,109,161,163,175,177,185,187],"v})^{{3":[108,176],"2}}":[110,164,178,188],"$,":[111,165],"but":[112],"no":[113],"algorithms":[114],"were":[115],"to":[117,172],"take":[118],"(for":[122],"all":[123],"t)":[124],"range":[127],"$c(\\ln":[128,173],"v/v)^{3/2}":[129],"<":[130,132,179,181],"$.":[134,189],"For":[135],"reasonable":[136],"$t(t":[137],"v^\\alpha":[139],"some":[142],"$\\alpha":[144],">":[145,157],"0$":[146],"new":[148],"runs":[150],"(\\alpha":[158,182],"v})^{{1":[162,186],"so":[166],"unfavorable":[168],"region":[169],"reduced":[171]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}