{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T05:27:36Z","timestamp":1734672456150,"version":"3.32.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1007\/bf00121263","type":"journal-article","created":{"date-parts":[[2004,11,1]],"date-time":"2004-11-01T08:07:59Z","timestamp":1099296479000},"page":"65-89","source":"Crossref","is-referenced-by-count":1,"title":["On the computational power of binary decision diagram with redundant variables"],"prefix":"10.1007","volume":"8","author":[{"given":"Tetsuya","family":"Yamada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroto","family":"Yasuura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"No. 6","key":"CR1","doi-asserted-by":"crossref","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 Trans. Comput., Vol. C-27, No. 6, pp. 509?516, June 1978.","journal-title":"IEEE Trans. Comput."},{"issue":"No. 2","key":"CR2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF01384083","volume":"4","author":"B. Plessier","year":"1994","unstructured":"B. Plessier, G. Hachtel, and F. Somenzi, ?Extended BDDs: Trading Off Canonicity for Structure in Verification Algorithms,? Formal Methods in System Design, Vol. 4, No. 2, pp. 167?185, Feb. 1994.","journal-title":"Formal Methods in System Design"},{"issue":"No. 8","key":"CR3","doi-asserted-by":"crossref","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 Trans. Comput., Vol. C-35, No. 8, pp. 677?691, Aug. 1986.","journal-title":"IEEE Trans. Comput."},{"issue":"No. 2","key":"CR4","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1109\/12.73590","volume":"40","author":"R.E. Bryant","year":"1991","unstructured":"R.E. Bryant, ?On the complexity of VLSI implementations and graph representations of boolean functions with application to integer multiplication,? IEEE Trans. Comput., Vol. 40, No. 2, pp. 205?213, Feb. 1991.","journal-title":"IEEE Trans. Comput."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"J.R. Burch, ?Using BDDs to verify multipliers,? Proc. 28th Design Automation Conference, pp. 408?412, June 1991.","DOI":"10.1145\/127601.127703"},{"key":"CR6","unstructured":"N. Ishiura and S. Yajima, ?A class of logic functions expressible by a polynomial-size binary decision diagram,? Proc. Synthesis and Simulation Meeting and International Interchange (SASIMI '90), Oct. 1990, pp. 48?54."},{"key":"CR7","unstructured":"J. Jain, J. Bitner, M. Abadir, J.A. Abraham, and D.S. Fussel, ?Efficent representation and verification of multiplier using IBDDs,? Technical Report CAD 325-91, MCC, 1991."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"J. Jain, M. Abadir, J. Bitner, D.S. Fussel, and J.A. Abraham, ?IBDDs: An efficent functional representation for digital circuits,? Proc. European Design Automation Conference, Mar. 1992, pp. 440?446.","DOI":"10.1109\/EDAC.1992.205973"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Y. Lai and S. Sastry, ?Edge-valued binary decision diagrams for multi-level hierarchical verification,? Proc. 29th Design Automation Conference, June 1992, pp. 608?613.","DOI":"10.1109\/DAC.1992.227813"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0022-0000(81)90038-6","volume":"22","author":"W.L. Ruzzo","year":"1981","unstructured":"W.L. Ruzzo, ?On uniform circuit complexity,? J. Computer and System Sciences, Vol. 22, pp. 365?383, 1981.","journal-title":"J. Computer and System Sciences"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"S. Minato, N. Ishiura, and S. Yajima, ?Shared binary decision diagrams with attributed edges for efficient boolean function manipulation,? Proc. 27th Design Automation Conference, June 1990, pp. 52?57.","DOI":"10.1145\/123186.123225"},{"key":"CR12","unstructured":"H. Sawada, ?Computational power of binary decision diagrams,? Master's thesis, Kyoto Univ., Mar. 1993."},{"key":"CR13","unstructured":"H. Yasuura, ?Design and analysis of hardware algorithms,? in Design Methodologies, Advances in CAD for VLSI, S. Goto (Ed.), North-Holland, pp. 185?214, 1986."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"H. Yasuura and S. Yajima, ?Hardware Algorithms for VLSI Systems,? VLSI Engineering, Lecture Notes in Computer Science 163, Springer-Verlag, 1984, pp. 105?129.","DOI":"10.1007\/BFb0043450"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00121263.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00121263\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00121263","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T13:52:38Z","timestamp":1734616358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00121263"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["BF00121263"],"URL":"https:\/\/doi.org\/10.1007\/bf00121263","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}