{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215727,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651918"},{"type":"electronic","value":"9783540495192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49519-3_32","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T10:37:12Z","timestamp":1192876632000},"page":"501-507","source":"Crossref","is-referenced-by-count":19,"title":["BDDNOW: A Parallel BDD Package"],"prefix":"10.1007","author":[{"given":"Kim","family":"Milvang-Jensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan J.","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,17]]},"reference":[{"issue":"8","key":"32_CR1","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677\u2013691, August 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. Sunderam. PVM: Parallel Virtual Machine \u2014 A Users\u2019 Guide and Tutorial for Networked Parallel Computing. MIT Press, 1994. See also: http:\/\/www.epm.ornl.gov\/pvm\/pvm_home.html .","DOI":"10.7551\/mitpress\/5712.001.0001"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"C. Meinel and A. Slobodov\u00e1. Speeding up variable reordering of OBDDs. In International Conference on Computer Design, pages 338\u2013343. IEEE, October 1997.","DOI":"10.1109\/ICCD.1997.628892"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"R. K. Ranjan, W. Gosti, R. K. Brayton, and A. Sangiovanni-Vincentelli. Dynamic reordering in a breadth-first manipulation based BDD package: Challenges and solutions. In International Conference on Computer Design, pages 344\u2013351. IEEE, October 1997.","DOI":"10.1109\/ICCD.1997.628893"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"R. Rudell. Dynamic variable ordering for ordered binary decision diagrams. In International Conference on Computer-Aided Design, pages 42\u201347. IEEE, 1993.","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"J. V. Sanghavi, R. K. Ranjan, R. K. Brayton, and A. Sangiovanni-Vincentelli. High performance BDD package by exploiting memory hierarchy. In 33th Design Automation Conference, pages 635\u2013640. ACM\/IEEE, 1996.","DOI":"10.1145\/240518.240638"},{"key":"32_CR7","unstructured":"F. Somenzi. CUDD: CU decision diagram package. Available from: ftp:\/\/vlsi.colorado.edu\/pub\/ ."},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"T. Stornetta and F. Brewer. Implementation of an efficient parallel BDD package. In 33th Design Automation Conference, pages 641\u2013644. ACM\/IEEE, 1996.","DOI":"10.1145\/240518.240639"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49519-3_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:50:25Z","timestamp":1737489025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49519-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651918","9783540495192"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-49519-3_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}