{"id":"https://openalex.org/W3187430668","doi":"https://doi.org/10.1109/idt52577.2021.9497593","title":"Comparison of Left Fold and Tree Fold Strategies in Creation of Binary Decision Diagrams","display_name":"Comparison of Left Fold and Tree Fold Strategies in Creation of Binary Decision Diagrams","publication_year":2021,"publication_date":"2021-06-22","ids":{"openalex":"https://openalex.org/W3187430668","doi":"https://doi.org/10.1109/idt52577.2021.9497593","mag":"3187430668"},"language":"en","primary_location":{"id":"doi:10.1109/idt52577.2021.9497593","is_oa":false,"landing_page_url":"https://doi.org/10.1109/idt52577.2021.9497593","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 International Conference on Information and Digital Technologies (IDT)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5006920027","display_name":"Michal Mrena","orcid":"https://orcid.org/0000-0003-3692-710X"},"institutions":[{"id":"https://openalex.org/I3122011922","display_name":"University of \u017dilina","ror":"https://ror.org/031wwwj55","country_code":"SK","type":"education","lineage":["https://openalex.org/I3122011922"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Michal Mrena","raw_affiliation_strings":["Faculty of Management Science and Informatics, University of Zilina, Zilina, Slovakia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Management Science and Informatics, University of Zilina, Zilina, Slovakia","institution_ids":["https://openalex.org/I3122011922"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090286350","display_name":"Miroslav Kva\u0161\u0161ay","orcid":"https://orcid.org/0000-0002-6450-5417"},"institutions":[{"id":"https://openalex.org/I3122011922","display_name":"University of \u017dilina","ror":"https://ror.org/031wwwj55","country_code":"SK","type":"education","lineage":["https://openalex.org/I3122011922"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Miroslav Kvassay","raw_affiliation_strings":["Faculty of Management Science and Informatics, University of Zilina, Zilina, Slovakia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Management Science and Informatics, University of Zilina, Zilina, Slovakia","institution_ids":["https://openalex.org/I3122011922"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I3122011922"],"apc_list":null,"apc_paid":null,"fwci":1.6193,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.82478547,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"341","last_page":"352"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9957000017166138,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9934999942779541,"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/binary-decision-diagram","display_name":"Binary decision diagram","score":0.9070630073547363},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.8626610636711121},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.6180591583251953},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.6095089316368103},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.6054717302322388},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5987789630889893},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.5873912572860718},{"id":"https://openalex.org/keywords/boolean-network","display_name":"Boolean network","score":0.53983473777771},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5288687348365784},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.5016329288482666},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.49818992614746094},{"id":"https://openalex.org/keywords/parity-function","display_name":"Parity function","score":0.4919118881225586},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4807860255241394},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.47364914417266846},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4731135070323944},{"id":"https://openalex.org/keywords/product-term","display_name":"Product term","score":0.4691160023212433},{"id":"https://openalex.org/keywords/fold","display_name":"Fold (higher-order function)","score":0.46303069591522217},{"id":"https://openalex.org/keywords/function-representation","display_name":"Function representation","score":0.45896458625793457},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4552437961101532},{"id":"https://openalex.org/keywords/truth-table","display_name":"Truth table","score":0.41020795702934265},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3468586206436157},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3336556553840637},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.2256375253200531},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13500389456748962},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.1258077621459961}],"concepts":[{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.9070630073547363},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.8626610636711121},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.6180591583251953},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.6095089316368103},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.6054717302322388},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5987789630889893},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.5873912572860718},{"id":"https://openalex.org/C134444547","wikidata":"https://www.wikidata.org/wiki/Q585230","display_name":"Boolean network","level":3,"score":0.53983473777771},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5288687348365784},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.5016329288482666},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.49818992614746094},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.4919118881225586},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4807860255241394},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.47364914417266846},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4731135070323944},{"id":"https://openalex.org/C9429942","wikidata":"https://www.wikidata.org/wiki/Q1781698","display_name":"Product term","level":5,"score":0.4691160023212433},{"id":"https://openalex.org/C53942344","wikidata":"https://www.wikidata.org/wiki/Q951651","display_name":"Fold (higher-order function)","level":2,"score":0.46303069591522217},{"id":"https://openalex.org/C167528306","wikidata":"https://www.wikidata.org/wiki/Q5508776","display_name":"Function representation","level":3,"score":0.45896458625793457},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4552437961101532},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.41020795702934265},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3468586206436157},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3336556553840637},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.2256375253200531},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13500389456748962},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.1258077621459961},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C169171071","wikidata":"https://www.wikidata.org/wiki/Q5449241","display_name":"Filtered algebra","level":3,"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/idt52577.2021.9497593","is_oa":false,"landing_page_url":"https://doi.org/10.1109/idt52577.2021.9497593","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 International Conference on Information and Digital Technologies (IDT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7799999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W31901315","https://openalex.org/W83305967","https://openalex.org/W966413371","https://openalex.org/W1279378592","https://openalex.org/W1505590927","https://openalex.org/W1553992341","https://openalex.org/W1578592046","https://openalex.org/W1985992893","https://openalex.org/W1994143452","https://openalex.org/W2018198423","https://openalex.org/W2031476778","https://openalex.org/W2080267935","https://openalex.org/W2099251677","https://openalex.org/W2137108108","https://openalex.org/W2469996337","https://openalex.org/W2496413842","https://openalex.org/W2510492060","https://openalex.org/W2533108705","https://openalex.org/W2735665938","https://openalex.org/W2883952861","https://openalex.org/W3007380135","https://openalex.org/W3139348367","https://openalex.org/W4211219479","https://openalex.org/W4243097225","https://openalex.org/W4247508066","https://openalex.org/W4255413535","https://openalex.org/W4255736263","https://openalex.org/W6728308532"],"related_works":["https://openalex.org/W3020862667","https://openalex.org/W2327772356","https://openalex.org/W4231391991","https://openalex.org/W1991822629","https://openalex.org/W3023127806","https://openalex.org/W4321371957","https://openalex.org/W3143715083","https://openalex.org/W1953235205","https://openalex.org/W1896280377","https://openalex.org/W3187430668"],"abstract_inverted_index":{"A":[0],"Binary":[1],"Decision":[2,327],"Diagram":[3,328],"(BDD)":[4],"is":[5,84,103,220,271,300,310],"a":[6,22,33,37,106,109,118,142,155,164,172,211,294,303],"data":[7],"structure":[8],"that":[9,92,108,167,299],"can":[10,39,58,114,168,196,230],"be":[11,40,59,115,169,197,231],"used":[12],"for":[13,151,316],"efficient":[14],"representation":[15],"of":[16,25,64,89,111,120,128,144,154,163,174,285],"Boolean":[17,23,35,165,297],"functions.":[18,123],"It":[19],"allows":[20],"storing":[21],"function":[24,110,166,298],"many":[26,98,112],"variables":[27,113],"and":[28,54,80,134,253,268,318],"manipulating":[29],"with":[30,95,264,320],"it.":[31],"For":[32],"given":[34],"function,":[36],"BDD":[38,143,156,195,212,295],"created":[41,133],"statically":[42],"or":[43],"dynamically.":[44],"The":[45,100,148,307],"static":[46],"creation":[47,73,102,153,317],"has":[48,74],"usually":[49,93],"high":[50],"demands":[51,76],"on":[52,77,105,158,289],"memory":[53],"time,":[55],"therefore,":[56,82],"it":[57,83],"applied":[60],"only":[61],"to":[62,140,191,209,247,251,292],"functions":[63,96,130,177,206,242,258],"few":[65],"variables.":[66,99],"On":[67],"the":[68,71,145,193,200,204,214,241,257,276],"other":[69],"hand,":[70],"dynamic":[72,101,152],"less":[75],"computation":[78],"time":[79,149,189,290],"memory,":[81],"more":[85],"preferable":[86],"in":[87,202,239,302],"case":[88,162],"real-world":[90],"problems":[91],"deal":[94],"containing":[97],"based":[104],"fact":[107],"viewed":[116,170],"as":[117,171,222,324],"composition":[119,173],"several":[121,159,175],"smaller":[122,129,176,205],"Using":[124],"this":[125,269,280],"idea,":[126],"BDDs":[127],"are":[131,137,207,235,243,262],"firstly":[132],"then":[135],"they":[136],"combined":[138],"together":[139],"obtain":[141,210,275],"whole":[146,215],"function.":[147,216],"needed":[150,190,291],"depends":[157],"factors.":[160],"In":[161,279],"merged":[178,263],"using":[179,313],"an":[180],"associative":[181],"binary":[182],"operation":[183],"(e.g.,":[184],"AND,":[185],"OR,":[186],"NAND,":[187],"NOR),":[188],"create":[192,293],"final":[194,277],"influenced":[198],"by":[199],"order":[201,219],"which":[203,240],"processed":[208,244],"representing":[213,296],"This":[217],"processing":[218],"known":[221],"fold":[223],"strategy":[224],"and,":[225],"generally,":[226],"two":[227,287],"basic":[228],"strategies":[229,234,288],"defined.":[232],"These":[233],"left":[236,246],"(right)":[237],"fold,":[238,255],"from":[245],"right":[248,250,266],"(from":[249],"left),":[252],"tree":[254],"when":[256],"at":[259],"odd":[260],"positions":[261],"their":[265],"neighbors":[267],"process":[270],"repeated":[272],"until":[273],"we":[274,282],"BDD.":[278],"paper,":[281],"analyze":[283],"influence":[284],"these":[286],"defined":[301],"disjunctive":[304],"normal":[305],"form.":[306],"experimental":[308],"analysis":[309],"primarily":[311],"realized":[312],"our":[314],"C++library":[315],"manipulation":[319],"decision":[321],"diagrams":[322],"named":[323],"TeDDy":[325],"(Templated":[326],"library).":[329]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}