{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T15:27:21Z","timestamp":1775143641255,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s10009-021-00640-0","type":"journal-article","created":{"date-parts":[[2022,2,2]],"date-time":"2022-02-02T16:06:34Z","timestamp":1643817994000},"page":"89-109","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions"],"prefix":"10.1007","volume":"24","author":[{"given":"Junaid","family":"Babar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianfranco","family":"Ciardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Miner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,2,2]]},"reference":[{"key":"640_CR1","unstructured":"Akers, S.B.: Functional testing using binary decision diagrams. In: Proceedings of 8th International Symposium on Fault-Tolerant Computing, pp. 75\u201382 (1978)"},{"key":"640_CR2","doi-asserted-by":"crossref","unstructured":"Amparore, E., Donatelli, S., Ciardo, G., Miner, A.: $$i_{{\\rm Rank}}$$: a variable order metric for DEDS subject to linear invariants. In: Vojnar, T., Zhang L. (eds.) Proceedings of TACAS, LNCS, vol. 11428, pp. 285\u2013302. Springer, Prague (2019)","DOI":"10.1007\/978-3-030-17465-1_16"},{"key":"640_CR3","unstructured":"Babar, J.: Decision diagrams: extensions and applications to reachability analysis. Ph.D. thesis, Iowa State University (2019)"},{"key":"640_CR4","doi-asserted-by":"crossref","unstructured":"Babar, J., Jiang, C., Ciardo, G., Miner, A.: Binary decision diagrams with edge-specified reductions. In: Vojnar, T., Zhang, L. (eds.) Proceedings of TACAS, LNCS, vol. 11428, pp. 303\u2013318. Springer, Prague (2019)","DOI":"10.1007\/978-3-030-17465-1_17"},{"issue":"8","key":"640_CR5","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"640_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-319-89960-2_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"RE Bryant","year":"2018","unstructured":"Bryant, R.E.: Chain reduction for binary and zero-suppressed decision diagrams. In: Beyer, D., Huisman, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 81\u201398. Springer, Cham (2018)"},{"key":"640_CR7","doi-asserted-by":"publisher","first-page":"128","DOI":"10.3390\/a11080128","volume":"11","author":"S Denzumi","year":"2018","unstructured":"Denzumi, S., Kawahara, J., Tsuda, K., Arimura, H., Minato, S., Sadakane, K.: Densezdd: a compact and fast index for families of sets. Algorithms 11, 128 (2018)","journal-title":"Algorithms"},{"issue":"10","key":"640_CR8","doi-asserted-by":"publisher","first-page":"965","DOI":"10.1109\/43.728917","volume":"17","author":"R Drechsler","year":"2006","unstructured":"Drechsler, R., Becker, B.: Ordered Kronecker functional decision diagrams\u2014a data structure for representation and manipulation of boolean functions. Trans. Comput. Integr. Circuits Syst. 17(10), 965\u2013973 (2006). https:\/\/doi.org\/10.1109\/43.728917","journal-title":"Trans. Comput. Integr. Circuits Syst."},{"issue":"3","key":"640_CR9","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1145\/5666.5673","volume":"29","author":"PJ Fleming","year":"1986","unstructured":"Fleming, P.J., Wallace, J.J.: How not to lie with statistics: the correct way to summarize benchmark results. Commun. ACM 29(3), 218\u2013221 (1986). https:\/\/doi.org\/10.1145\/5666.5673","journal-title":"Commun. ACM"},{"key":"640_CR10","unstructured":"Karplus, K.: Representing boolean functions with if-then-else DAGs. University of California at Santa Cruz, Santa Cruz, CA, USA, Tech. rep. (1988)"},{"key":"640_CR11","doi-asserted-by":"crossref","unstructured":"Kimura, S., Clarke, E.M.: A parallel algorithm for constructing binary decision diagrams. In: Proc. Int. Conf. on Computer Design (ICCD), pp. 220\u2013223. IEEE Comp. Soc. Press (1990)","DOI":"10.1109\/ICCD.1990.130209"},{"key":"640_CR12","unstructured":"Knuth, D.E.: The Art of Computer Programming, Volume 4A: Combinatorial Algorithms, Part I. Addison-Wesley (2011)"},{"issue":"4","key":"640_CR13","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","volume":"38","author":"CY Lee","year":"1959","unstructured":"Lee, C.Y.: Representation of switching circuits by binary-decision programs. Bell Syst. Technol. J. 38(4), 985\u2013999 (1959)","journal-title":"Bell Syst. Technol. J."},{"key":"640_CR14","doi-asserted-by":"crossref","unstructured":"Madre, J.C., Billon, J.P.: Proving circuit correctness using formal comparison between expected and extracted behaviour. In: Proceedings of 25th ACM\/IEEE Design Automation Conference, DAC \u201988, pp. 205\u2013210. IEEE Computer Society Press, Los Alamitos (1988)","DOI":"10.1109\/DAC.1988.14759"},{"key":"640_CR15","unstructured":"Miessler, D., Haddix, J.: SecLists. https:\/\/github.com\/danielmiessler\/SecLists"},{"key":"640_CR16","doi-asserted-by":"crossref","unstructured":"Minato, S.: Binary Decision Diagrams and Their Applications for VLSI CAD. Ph.D. thesis, Kyoto University (1995)","DOI":"10.1007\/978-1-4613-1303-8"},{"key":"640_CR17","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/s100090100038","volume":"3","author":"S Minato","year":"2001","unstructured":"Minato, S.: Zero-suppressed BDDs and their applications. Softw. Tools Technol. Transf. 3, 156\u2013170 (2001)","journal-title":"Softw. Tools Technol. Transf."},{"key":"640_CR18","unstructured":"Rudell, R.: Dynamic variable ordering for ordered binary decision diagrams. In: International Conference on CAD, pp. 139\u2013144 (1993)"},{"key":"640_CR19","doi-asserted-by":"crossref","unstructured":"van Dijk, T., Wille, R., Meolic, R.: Tagged BDDs: combining reduction rules from different decision diagram types. In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD \u201917, pp. 108\u2013115. FMCAD Inc, Austin, TX (2017). http:\/\/dl.acm.org\/citation.cfm?id=3168451.3168478","DOI":"10.23919\/FMCAD.2017.8102248"},{"key":"640_CR20","unstructured":"Yang, S.: Logic synthesis and optimization benchmarks user guide: version 3.0. Microelectronics Center of North Carolina (MCNC) (1991)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00640-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-021-00640-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00640-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,17]],"date-time":"2024-09-17T19:59:31Z","timestamp":1726603171000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-021-00640-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["640"],"URL":"https:\/\/doi.org\/10.1007\/s10009-021-00640-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2]]},"assertion":[{"value":"20 July 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 February 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}