{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T17:54:32Z","timestamp":1773510872716,"version":"3.50.1"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,22]]},"DOI":"10.1109\/idt52577.2021.9497593","type":"proceedings-article","created":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T21:21:35Z","timestamp":1627680095000},"page":"341-352","source":"Crossref","is-referenced-by-count":7,"title":["Comparison of Left Fold and Tree Fold Strategies in Creation of Binary Decision Diagrams"],"prefix":"10.1109","author":[{"given":"Michal","family":"Mrena","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Kvassay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","year":"2021","journal-title":"std vector"},{"key":"ref38","author":"fi\u00e4er","year":"0","journal-title":"Benchmarks of ripple-carry adders generated by P Fišer"},{"key":"ref33","author":"vahidi","year":"2021","journal-title":"JDD"},{"key":"ref32","author":"vahidi","year":"2021","journal-title":"JBDD a Java interface to CUDD and BuDDY"},{"key":"ref31","author":"haynal","year":"2021","journal-title":"PyCUDD"},{"key":"ref30","author":"mishchenko","year":"2021","journal-title":"ABC A System for Sequential Synthesis and Verification"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114826"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316784099"},{"key":"ref35","year":"2021","journal-title":"Template parameters and template arguments"},{"key":"ref34","author":"bryant","year":"2021","journal-title":"rcbryant\/Cloud-BDD"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1959.tb01585.x"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0303-1268(76)90033-X"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2200\/S00420ED1V01Y201205DCS037"},{"key":"ref16","first-page":"107","article-title":"Multi-state system analysis based on multiple-valued decision diagram","volume":"5","author":"zaitseva","year":"2012","journal-title":"Journal of Reliability and Statistical Studies"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/9781118314593"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2015.01.009"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICETA51985.2020.9379170"},{"key":"ref28","author":"somenzi","year":"2021","journal-title":"ivmai cudd"},{"key":"ref4","author":"jaakko","year":"2006","journal-title":"Fundamentals of Switching Theory and Logic Design"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/DT.2016.7557168"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-802318-1.00002-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0817-5"},{"key":"ref29","author":"cohen","year":"2021","journal-title":"buddyway"},{"key":"ref5","author":"hachtel","year":"2002","journal-title":"Logic Synthesis and Verification Algorithms"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2586444"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2200\/S00766ED1V01Y201704DCS052"},{"key":"ref2","author":"anthony","year":"1992","journal-title":"Computational Learning Theory"},{"key":"ref9","author":"rausand","year":"2004","journal-title":"System Reliability Theory"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511852008"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2207-4_8"},{"key":"ref22","author":"mrena","year":"2021","journal-title":"MichalMrena\/DecisionDiagrams"},{"key":"ref21","author":"filippidis","year":"2021","journal-title":"johnyl7tool_lists"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TELSIKS46999.2019.9002349"},{"key":"ref23","first-page":"43","article-title":"Transformation of Boolean expression into disjunctive or conjunctive normal form","volume":"3","author":"rusnak","year":"2017","journal-title":"Central European Researchers Journal"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1385-4_1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2018.00012"}],"event":{"name":"2021 International Conference on Information and Digital Technologies (IDT)","location":"Zilina, Slovakia","start":{"date-parts":[[2021,6,22]]},"end":{"date-parts":[[2021,6,24]]}},"container-title":["2021 International Conference on Information and Digital Technologies (IDT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9497502\/9497530\/09497593.pdf?arnumber=9497593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:43:49Z","timestamp":1652197429000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9497593\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,22]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/idt52577.2021.9497593","relation":{},"subject":[],"published":{"date-parts":[[2021,6,22]]}}}