{"id":"https://openalex.org/W1995952087","doi":"https://doi.org/10.1002/(sici)1098-2418(199810/12)13:3/4<349::aid-rsa9>3.0.co;2-v","title":"The number of Boolean functions computed by formulas of a given size","display_name":"The number of Boolean functions computed by formulas of a given size","publication_year":1998,"publication_date":"1998-10-01","ids":{"openalex":"https://openalex.org/W1995952087","doi":"https://doi.org/10.1002/(sici)1098-2418(199810/12)13:3/4<349::aid-rsa9>3.0.co;2-v","mag":"1995952087"},"language":"en","primary_location":{"id":"doi:10.1002/(sici)1098-2418(199810/12)13:3/4<349::aid-rsa9>3.0.co;2-v","is_oa":true,"landing_page_url":"https://doi.org/10.1002/(sici)1098-2418(199810/12)13:3/4<349::aid-rsa9>3.0.co;2-v","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/%28SICI%291098-2418%28199810/12%2913%3A3/4%3C349%3A%3AAID-RSA9%3E3.0.CO%3B2-V","source":{"id":"https://openalex.org/S59667848","display_name":"Random Structures and Algorithms","issn_l":"1042-9832","issn":["1042-9832","1098-2418"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Random Structures and Algorithms","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/%28SICI%291098-2418%28199810/12%2913%3A3/4%3C349%3A%3AAID-RSA9%3E3.0.CO%3B2-V","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060114081","display_name":"Petr Savick\u00fd","orcid":"https://orcid.org/0000-0001-6974-0718"},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"funder","lineage":["https://openalex.org/I202391551"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Petr Savicky\ufffd","raw_affiliation_strings":["Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic#TAB#","institution_ids":["https://openalex.org/I202391551"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080340008","display_name":"Alan R. Woods","orcid":null},"institutions":[{"id":"https://openalex.org/I177877127","display_name":"University of Western Australia","ror":"https://ror.org/047272k79","country_code":"AU","type":"education","lineage":["https://openalex.org/I177877127"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Alan R. Woods","raw_affiliation_strings":["Department of Mathematics, University of Western Australia, Nedlands W. A. 6907, Australia","Department of Mathematics , University of Western Australia , Nedlands, W.A, 6907, Australia"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Western Australia, Nedlands W. A. 6907, Australia","institution_ids":["https://openalex.org/I177877127"]},{"raw_affiliation_string":"Department of Mathematics , University of Western Australia , Nedlands, W.A, 6907, Australia","institution_ids":["https://openalex.org/I177877127"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5080340008"],"corresponding_institution_ids":["https://openalex.org/I177877127"],"apc_list":{"value":4330,"currency":"USD","value_usd":4330},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.1130092,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"13","issue":"3-4","first_page":"349","last_page":"382"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9878000020980835,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9878000020980835,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9848999977111816,"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/T12029","display_name":"DNA and Biological Computing","score":0.9832000136375427,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7301675081253052},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.6890947818756104},{"id":"https://openalex.org/keywords/infinity","display_name":"Infinity","score":0.6323130130767822},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5514447093009949},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5487922430038452},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4933754503726959},{"id":"https://openalex.org/keywords/parity-function","display_name":"Parity function","score":0.48953089118003845},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.48073482513427734},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4547656178474426},{"id":"https://openalex.org/keywords/random-variable","display_name":"Random variable","score":0.4329676330089569},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.34407293796539307},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.27681082487106323},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09095314145088196}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7301675081253052},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.6890947818756104},{"id":"https://openalex.org/C7321624","wikidata":"https://www.wikidata.org/wiki/Q205","display_name":"Infinity","level":2,"score":0.6323130130767822},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5514447093009949},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5487922430038452},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4933754503726959},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.48953089118003845},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.48073482513427734},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4547656178474426},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.4329676330089569},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.34407293796539307},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.27681082487106323},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09095314145088196},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/(sici)1098-2418(199810/12)13:3/4<349::aid-rsa9>3.0.co;2-v","is_oa":true,"landing_page_url":"https://doi.org/10.1002/(sici)1098-2418(199810/12)13:3/4<349::aid-rsa9>3.0.co;2-v","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/%28SICI%291098-2418%28199810/12%2913%3A3/4%3C349%3A%3AAID-RSA9%3E3.0.CO%3B2-V","source":{"id":"https://openalex.org/S59667848","display_name":"Random Structures and Algorithms","issn_l":"1042-9832","issn":["1042-9832","1098-2418"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Random Structures and Algorithms","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1002/(sici)1098-2418(199810/12)13:3/4<349::aid-rsa9>3.0.co;2-v","is_oa":true,"landing_page_url":"https://doi.org/10.1002/(sici)1098-2418(199810/12)13:3/4<349::aid-rsa9>3.0.co;2-v","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/%28SICI%291098-2418%28199810/12%2913%3A3/4%3C349%3A%3AAID-RSA9%3E3.0.CO%3B2-V","source":{"id":"https://openalex.org/S59667848","display_name":"Random Structures and Algorithms","issn_l":"1042-9832","issn":["1042-9832","1098-2418"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Random Structures and Algorithms","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322482","display_name":"Akademie V\u011bd \u010cesk\u00e9 Republiky","ror":"https://ror.org/053avzc18"},{"id":"https://openalex.org/F4320337380","display_name":"Division of Mathematical Sciences","ror":"https://ror.org/051fftw81"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W1995952087.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1597080238","https://openalex.org/W2106622045","https://openalex.org/W2055594799","https://openalex.org/W3204916073","https://openalex.org/W2516690985","https://openalex.org/W2062972911","https://openalex.org/W2611822924","https://openalex.org/W1564702418","https://openalex.org/W2011175857","https://openalex.org/W2728195892"],"abstract_inverted_index":{"Estimates":[0],"are":[1,68,74],"given":[2],"of":[3,8,15,33,35,41,52],"the":[4,31,39,50,64,111],"number":[5,32,40,51],"B(n,":[6,46,77],"L)":[7,47],"distinct":[9],"functions":[10,53,120],"computed":[11,54,129],"by":[12,55,130],"propositional":[13],"formulas":[14],"size":[16,106],"L":[17,61,84],"in":[18],"n":[19,92],"variables,":[20],"constructed":[21,133],"using":[22],"only":[23],"literals":[24,135],"and":[25,44,85,93,136],"\u2227,":[26,141],"\u2228":[27,142],"connectives.":[28],"(L":[29],"is":[30,38,48],"occurrences":[34],"variables.":[36],"L\u22121":[37],"binary":[42],"\u2227s":[43],"\u2228s.":[45],"also":[49],"two":[56],"terminal":[57],"series-parallel":[58],"networks":[59],"with":[60,90,104,121],"switches.)":[62],"Enroute":[63],"read-once":[65],"functions,":[66],"which":[67],"closely":[69],"related":[70],"to":[71,88],"Schr\u00f6der":[72],"numbers,":[73],"enumerated.":[75],"Writing":[76],"L)=b(n,":[78],"L)L,":[79],"we":[80],"find":[81],"that":[82],"if":[83],"\u03b2(n)":[86],"go":[87],"infinity":[89],"increasing":[91],"L\u22642n/n\u03b2(n),":[94],"then":[95],"b(n,":[96],"L)\u223ccn,":[97],"where":[98],"c=2/(ln":[99],"4\u22121).":[100],"Making":[101],"a":[102],"comparison":[103],"polynomial":[105],"Boolean":[107,119],"circuits,":[108],"this":[109],"implies":[110],"following.":[112],"For":[113],"any":[114,131],"constant":[115],"\u03b1>1,":[116],"almost":[117],"all":[118],"formula":[122],"complexity":[123],"at":[124],"most":[125],"n\u03b1":[126],"cannot":[127],"be":[128],"circuit":[132],"from":[134],"fewer":[137],"than":[138],"\u03b1\u22121n\u03b1":[139],"two-input":[140],"gates.":[143],"\u00a9":[144],"1998":[145,156],"John":[146],"Wiley":[147],"&":[148],"Sons,":[149],"Inc.":[150],"Random":[151],"Struct.":[152],"Alg.,":[153],"13:":[154],"349\u2013382,":[155]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}