{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:00:51Z","timestamp":1770278451867,"version":"3.49.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1008691605584","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:12:40Z","timestamp":1040551960000},"page":"243-270","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Factored Edge-Valued Binary Decision Diagrams"],"prefix":"10.1007","volume":"10","author":[{"given":"Paul","family":"Tafertshofer","sequence":"first","affiliation":[]},{"given":"Massoud","family":"Pedram","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1997,4,1]]},"reference":[{"key":"126524_CR1","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"S.B. Akers","year":"1978","unstructured":"S.B. Akers, \"Binary decision diagrams,\" IEEE Transactions on Computers, Vol. C-27, pp. 509-516, June 1978.","journal-title":"IEEE Transactions on Computers"},{"key":"126524_CR2","doi-asserted-by":"crossref","unstructured":"R.I. Bahar, E.A. Fromm, C.M. Gaona, G.D. Hachtel, E. Macii, A. Pardo, and F. Somenzi, \"Algebraic decision diagrams and their applications,\" International Conference on Computer-Aided Design, pp. 188-191, Nov. 1993.","DOI":"10.1109\/ICCAD.1993.580054"},{"key":"126524_CR3","unstructured":"B. Becker, R. Drechsler, and R. Werchner, \"On the relation between BDDs and FDDs,\" Technical Report 12\/93, University of Frankfurt, 1993."},{"key":"126524_CR4","doi-asserted-by":"crossref","unstructured":"K.S. Brace, R.L. Rudell, and R.E. Bryant, \"Efficient implementation of a BDD package,\" 27th Design Automation Conference, pp. 40-45, 1990.","DOI":"10.1145\/123186.123222"},{"issue":"8","key":"126524_CR5","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"R.E. Bryant, \"Graph-based algorithms for Boolean function manipulation,\" IEEE Transactions on Computers, Vol. C-35, No. 8, pp. 677-691, Aug. 1986.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"126524_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"R.E. Bryant, \"Symbolic Boolean manipulation with ordered binary-decision diagrams,\" ACM Computing Surveys, Vol. 24, No. 3, pp. 293-318, Sept. 1992.","journal-title":"ACM Computing Surveys"},{"key":"126524_CR7","doi-asserted-by":"crossref","unstructured":"R.E. Bryant and Y.-A. Chen, \"Verification of arithmetic functions with binary moment diagrams,\" CMU-CS-94-160, May 1994.","DOI":"10.21236\/ADA281028"},{"key":"126524_CR8","doi-asserted-by":"crossref","unstructured":"E. Clarke, K.L. McMillan, X. Zhao, M. Fujita, and J.C.-Y. Yang, \"Spectral transforms for large Boolean functions with application to technology mapping,\" 30th ACM\/IEEE Design Automation Conference, Dallas, TX, June 1993, pp. 54-60.","DOI":"10.1145\/157485.164569"},{"key":"126524_CR9","unstructured":"E. Clarke, M. Fujita, P.C. McGeer, K.L. McMillan, and J.C.-Y. Yang, \"Multi-terminal binary decision diagrams: An efficient data structure for matrix representation,\" unpublished, 1993."},{"key":"126524_CR10","unstructured":"R. Drechsler, A. Sarabi, M. Theobald, B. Becker, and M.A. Perkowski, \"Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams\"."},{"key":"126524_CR11","unstructured":"D.F. Elliott and K.R. Rao, Fast Transforms. Algorithms, Analyses, Applications, Academic Press, 1982."},{"key":"126524_CR12","unstructured":"D.E. Knuth, The Art of Computer Programming: Seminumerical Algorithms, 2nd edition, Vol. 2, Addison Wesley, 1981."},{"key":"126524_CR13","doi-asserted-by":"crossref","unstructured":"Y.-T. Lai and S. Sastry, \"Edge-valued binary decision diagrams for multi-level hierarchical verification,\" 29th Design Automation Conference, pp. 608-613, June 1992.","DOI":"10.1109\/DAC.1992.227813"},{"issue":"2","key":"126524_CR14","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/12.485378","volume":"45","author":"Y.-T. Lai","year":"1996","unstructured":"Y.-T. Lai, M. Pedram, and S.B.K. Vrudhula, \"Edge-valued binary decision diagrams,\" IEEE Trans. on Computers, Vol. 45, No. 2, pp. 247-255, 1996.","journal-title":"IEEE Trans. on Computers"},{"key":"126524_CR15","doi-asserted-by":"crossref","unstructured":"Y.-T. Lai, M. Pedram, and S.B.K. Vrudhula, \"FGILP: An integer linear program solver based on function graphs,\" International Conference on Computer-Aided Design, pp. 685-689, Nov. 1993.","DOI":"10.1109\/ICCAD.1993.580162"},{"issue":"8","key":"126524_CR16","doi-asserted-by":"publisher","first-page":"959","DOI":"10.1109\/43.298033","volume":"13","author":"Y.-T. Lai","year":"1994","unstructured":"Y.-T. Lai, M. Pedram, and S.B.K. Vrudhula, \"EVBDD-based algorithms for integer linear programming, spectral transformation and function decomposition,\" IEEE Trans. on Computer-Aided Design, Vol. 13, No. 8, pp. 959-975, 1994.","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"126524_CR17","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","volume":"38","author":"C.Y. lee","year":"1978","unstructured":"c.y. lee, \"Representation of switching circuits by binary-decision-programs,\" Bell. syst. tech. j., vol. 38, pp. 985-999, july 195","journal-title":"Bell. syst. tech. j."},{"key":"126524_CR18","unstructured":"S. Ross, A First Course in Probability, Macmillan, 1988."},{"key":"126524_CR19","doi-asserted-by":"crossref","unstructured":"J. Stoer and R. Bulirsch, Introduction to Numerical Analysis, Springer-Verlag, 1980.","DOI":"10.1007\/978-1-4757-5592-3"},{"key":"126524_CR20","unstructured":"P. Tafertshofer and M. Pedram, \"Factored edge-valued binary decision diagrams and their application to matrix representation and manipulation,\" Technical Report CENG 94-27, Department of Electrical Engineering-Systems, University of Southern California, Oct. 1994."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008691605584.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008691605584\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008691605584.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:43:50Z","timestamp":1754369030000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008691605584"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":20,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["126524"],"URL":"https:\/\/doi.org\/10.1023\/a:1008691605584","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,4]]},"assertion":[{"value":"1 April 1997","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}