{"id":"https://openalex.org/W1993889247","doi":"https://doi.org/10.1109/tcad.2010.2069290","title":"Determining the Number of Paths in Decision Diagrams by Using Autocorrelation Coefficients","display_name":"Determining the Number of Paths in Decision Diagrams by Using Autocorrelation Coefficients","publication_year":2010,"publication_date":"2010-12-22","ids":{"openalex":"https://openalex.org/W1993889247","doi":"https://doi.org/10.1109/tcad.2010.2069290","mag":"1993889247"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2010.2069290","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2010.2069290","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","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/A5071090334","display_name":"Osnat Keren","orcid":"https://orcid.org/0000-0002-3101-9551"},"institutions":[{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Osnat Keren","raw_affiliation_strings":["Bar-Ilan University, School of Engineering, Ramat-Gan, Israel","Sch. of Eng., Bar Ilan Univ., Ramat Gan, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bar-Ilan University, School of Engineering, Ramat-Gan, Israel","institution_ids":["https://openalex.org/I13955877"]},{"raw_affiliation_string":"Sch. of Eng., Bar Ilan Univ., Ramat Gan, Israel","institution_ids":["https://openalex.org/I13955877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018635318","display_name":"Ilya Levin","orcid":"https://orcid.org/0000-0002-0298-4547"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ilya Levin","raw_affiliation_strings":["Tel-Aviv University, School of Education, Tel-Aviv, Israel","School of Education, Tel Aviv University , Tel Aviv, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tel-Aviv University, School of Education, Tel-Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"School of Education, Tel Aviv University , Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108138421","display_name":"Radomir S. Stankovi\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I152518017","display_name":"University of Nis","ror":"https://ror.org/00965bg92","country_code":"RS","type":"education","lineage":["https://openalex.org/I152518017"]}],"countries":["RS"],"is_corresponding":false,"raw_author_name":"Radomir S. Stankovic","raw_affiliation_strings":["Department of Computer Science, Faculty of Electronics, Ni\u0161, Serbia","[Fac. of Electron., Dept. of Comput. Sci., Univ. of Nis, Nis, Serbia]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Electronics, Ni\u0161, Serbia","institution_ids":["https://openalex.org/I152518017"]},{"raw_affiliation_string":"[Fac. of Electron., Dept. of Comput. Sci., Univ. of Nis, Nis, Serbia]","institution_ids":["https://openalex.org/I152518017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0306,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.76276576,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"30","issue":"1","first_page":"31","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9743000268936157,"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.9743000268936157,"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/T10211","display_name":"Computational Drug Discovery Methods","score":0.9703999757766724,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9653000235557556,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/autocorrelation","display_name":"Autocorrelation","score":0.8622850775718689},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.6318689584732056},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.626958966255188},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6265866160392761},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6134520769119263},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.6129696369171143},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.578434944152832},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.5690029263496399},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.540351152420044},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5222707390785217},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.4965127110481262},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.465353786945343},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.35092300176620483},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3202102780342102},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.2090936005115509},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.09749904274940491}],"concepts":[{"id":"https://openalex.org/C5297727","wikidata":"https://www.wikidata.org/wiki/Q786970","display_name":"Autocorrelation","level":2,"score":0.8622850775718689},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.6318689584732056},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.626958966255188},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6265866160392761},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6134520769119263},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.6129696369171143},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.578434944152832},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5690029263496399},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.540351152420044},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5222707390785217},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.4965127110481262},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.465353786945343},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.35092300176620483},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3202102780342102},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.2090936005115509},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.09749904274940491},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2010.2069290","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2010.2069290","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6899999976158142,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321449","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495"},{"id":"https://openalex.org/F4320322596","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1498649485","https://openalex.org/W1504306462","https://openalex.org/W1551144070","https://openalex.org/W1581936406","https://openalex.org/W1604153278","https://openalex.org/W1795892855","https://openalex.org/W1841760018","https://openalex.org/W2039240778","https://openalex.org/W2081742683","https://openalex.org/W2109021772","https://openalex.org/W2118291360","https://openalex.org/W2120548816","https://openalex.org/W2123860644","https://openalex.org/W2123879785","https://openalex.org/W2129060213","https://openalex.org/W2134520833","https://openalex.org/W2139907818","https://openalex.org/W2141472133","https://openalex.org/W2141501391","https://openalex.org/W2143954882","https://openalex.org/W2149479807","https://openalex.org/W2154637754","https://openalex.org/W2154682956","https://openalex.org/W2156235172","https://openalex.org/W2157547070","https://openalex.org/W2161417334","https://openalex.org/W2168502405","https://openalex.org/W2170989826","https://openalex.org/W2312235895","https://openalex.org/W4237141846","https://openalex.org/W4238983509","https://openalex.org/W6633140005","https://openalex.org/W6636104451","https://openalex.org/W6638277731","https://openalex.org/W6682071014"],"related_works":["https://openalex.org/W257150968","https://openalex.org/W3140601928","https://openalex.org/W1977451125","https://openalex.org/W2057159994","https://openalex.org/W2168881618","https://openalex.org/W2109998394","https://openalex.org/W1608751818","https://openalex.org/W86917440","https://openalex.org/W2133491672","https://openalex.org/W4389483408"],"abstract_inverted_index":{"This":[0],"paper":[1],"deals":[2],"with":[3,96,113],"the":[4,30,52,61,64,78,90,124],"number":[5,31,53,79,116],"of":[6,23,32,44,54,60,63,75,77,80,93,117,123],"paths":[7,33,55,81],"in":[8,34],"multiterminal":[9],"binary":[10,16],"decision":[11,17],"diagrams":[12,18],"(MTBDDs)":[13],"and":[14,111],"shared":[15],"(SBDDs)":[19],"representing":[20],"a":[21,57,73,104,114],"set":[22,92],"Boolean":[24],"functions.":[25,131],"It":[26],"is":[27,67,82,86,119,127],"shown":[28],"that":[29],"an":[35],"MTBDD":[36],"(SBDD)":[37],"can":[38],"be":[39],"uniquely":[40],"determined":[41],"by":[42],"values":[43,62],"specific":[45],"weighted-autocorrelation":[46,65],"coefficients.":[47],"An":[48],"analytical":[49],"expression":[50],"for":[51],"as":[56],"linear":[58,98],"function":[59],"coefficients":[66],"presented.":[68,120],"Based":[69],"on":[70,88,129],"this":[71,102],"expression,":[72],"method":[74,85],"minimization":[76],"proposed.":[83],"The":[84,121],"based":[87],"replacing":[89],"initial":[91],"input":[94],"variables":[95],"their":[97],"combinations.":[99],"By":[100],"using":[101],"method,":[103],"deterministic":[105],"paths-reduction":[106],"procedure,":[107],"which":[108],"provides":[109],"MTBDDs":[110],"SBDDs":[112],"reduced":[115],"paths,":[118],"efficiency":[122],"suggested":[125],"approach":[126],"demonstrated":[128],"benchmark":[130]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}