{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T22:40:14Z","timestamp":1737067214755,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003465"},{"type":"electronic","value":"9783540363835"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36383-1_6","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T20:26:41Z","timestamp":1180902401000},"page":"127-138","source":"Crossref","is-referenced-by-count":0,"title":["WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Meinel","sequence":"first","affiliation":[]},{"given":"Harald","family":"Sack","sequence":"additional","affiliation":[]},{"given":"Arno","family":"Wagner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"6_CR1","unstructured":"A. Bogliolo, L. Benini, G. De Micheli, and B. Ricc\u00f3. PPP: A gate-level power simulator \u2014 a World Wide Web application. Technical Report Stanford Technical Report No. CSL-TR-96-691, Stanford University, 1996."},{"key":"6_CR2","unstructured":"B. Bollig, M. L\u00f6bbing, and I. Wegener. Simulated annealing to improve variable orderings for OBDDs. In Proceedings of IWLS\u201995, Lake Tahoe, 1995."},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","volume-title":"Proceedings of Computer-Aided Verification","author":"R. K. Brayton","year":"1996","unstructured":"R. K. Brayton, G. D. Hachtel, A. Sangiovanni-Vincenteli, and F. Somenzi. VIS: a system for verification and synthesis. In Proceedings of Computer-Aided Verification. Springer Lecture Notes in Computer Science 1102, pages 428\u2013432, 1996."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"F. Brglez, D. Bryan, and K. Kozminski. Combinational profiles of sequential benchmark circuits. In Proceedings of the IEEE International Symposium on Circuits and Systems, pages 1929\u20131934, May 1989.","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"6_CR5","unstructured":"R. Drechsler, B. Becker, and N. G\u00f6ckel. A genetic algorithm for variable reordering of OBDDs. In Proceedings of IWLS\u201995, Lake Tahoe, 1995."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"H. Higuchi and F. Somenzi. Lazy group sifting for efficient symbolic state traversal of FSMs. In Procceedings of ICCAD\u201999, pages 45\u201349, 1999.","DOI":"10.1109\/ICCAD.1999.810619"},{"issue":"2","key":"6_CR7","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/s100090100051","volume":"3","author":"S. H\u00f6reth","year":"2001","unstructured":"S. H\u00f6reth. A word-level graph manipulation package. Software Tools For Technology Transfer, 3(2):182\u2013192, 2001.","journal-title":"Software Tools For Technology Transfer"},{"key":"6_CR8","unstructured":"D. Ku. Embedded tutorial: EDA and the network. In Procceedings of ICCAD\u201997, 1997."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"S. Lawrence and C. L. Gilles. Accessibility of information on the web. Nature, 400(6740), 1999.","DOI":"10.1038\/21987"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"C. Meinel, F. Somenzi, and T. Theobald. Functional decomposition and synthesis using linear sifting. In Proceedings of ASP-DAC\u201998, pages 81\u201386, 1998.","DOI":"10.1109\/ASPDAC.1998.669410"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"C. Meinel and T. Theobald. Algorithms and Data Structures in VLSI Design. Springer, 1998.","DOI":"10.1007\/978-3-642-58940-9"},{"key":"6_CR12","unstructured":"C. Meinel and A. Wagner. OBDD heuristics online. In Proceedings of IWLS\u201999, Granlibakken, USA, 1999."},{"key":"6_CR13","unstructured":"C. Meinel and A. Wagner. WWW.BDD-PORTAL.ORG. In Proceedings of IWLS\u201900, Dana Point, CA, pages 349\u2013353, 2000."},{"key":"6_CR14","unstructured":"C. Meinel and A. Wagner. WWW.BDD-PORTAL.ORG \u2014 an electronical basis for cooperative research in EDA. In Proceedings of CRIS\u201900, Helsinki, Finland, 2000."},{"key":"6_CR15","unstructured":"CMU School of Computer Science. Formal Methods \u2014 Model Checking. http:\/\/www.cs.cmu.edu\/~modelcheck\/ ."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"M. J. Silva and R. H. Katz. The case for design using the World Wide Web. In Procceedings of the 32th Design Automation Conference, 1995.","DOI":"10.1145\/217474.217593"},{"key":"6_CR17","unstructured":"F. Somenzi. Colorado University Decision Diagram Package. ftp:\/\/vlsi.colorado.edu\/pub\/ , 1996."}],"container-title":["Lecture Notes in Computer Science","Experimental Algorithmics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36383-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T22:03:48Z","timestamp":1737065028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36383-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003465","9783540363835"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-36383-1_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}