{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T09:40:17Z","timestamp":1759138817225,"version":"3.44.0"},"reference-count":20,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2001,11,1]],"date-time":"2001-11-01T00:00:00Z","timestamp":1004572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Integration"],"published-print":{"date-parts":[[2001,11]]},"DOI":"10.1016\/s0167-9260(01)00021-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T05:54:01Z","timestamp":1027576441000},"page":"51-63","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["History-based dynamic BDD minimization"],"prefix":"10.1016","volume":"31","author":[{"given":"Rolf","family":"Drechsler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"G\u00fcnther","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"8","key":"10.1016\/S0167-9260(01)00021-9_BIB1","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","article-title":"Graph-based algorithms for Boolean function manipulation","volume":"35","author":"Bryant","year":"1986","journal-title":"IEEE Trans. Comput."},{"issue":"9","key":"10.1016\/S0167-9260(01)00021-9_BIB2","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1109\/12.537122","article-title":"Improving the variable ordering of OBDDs is NP-complete","volume":"45","author":"Bollig","year":"1996","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0167-9260(01)00021-9_BIB3","doi-asserted-by":"crossref","unstructured":"S.J. Friedman, K.J. Supowit, Finding the optimal variable ordering for binary decision diagrams, in: Design Automation Conference, 1987, pp. 348\u2013356.","DOI":"10.1145\/37888.37941"},{"key":"10.1016\/S0167-9260(01)00021-9_BIB4","doi-asserted-by":"crossref","unstructured":"R. Drechsler, N. Drechsler, W. G\u00fcnther, Fast exact minimization of BDDs, in: Design Automation Conference, 1998, pp. 200\u2013205.","DOI":"10.1145\/277044.277099"},{"key":"10.1016\/S0167-9260(01)00021-9_BIB5","doi-asserted-by":"crossref","unstructured":"H. Fujii, G. Ootomo, C. Hori, Interleaving based variable ordering methods for ordered binary decision diagrams, in: International Conference on CAD, 1983, pp. 38\u201341.","DOI":"10.1109\/ICCAD.1993.580028"},{"key":"10.1016\/S0167-9260(01)00021-9_BIB6","unstructured":"M. Fujita, Y. Matsunaga, T. Kakuda, On variable ordering of binary decision diagrams for the application of multi-level synthesis, in: European Conference on Design Automation, 1991, pp. 50\u201354."},{"key":"10.1016\/S0167-9260(01)00021-9_BIB7","unstructured":"R. Rudell, Dynamic variable ordering for ordered binary decision diagrams, in: International Conference on CAD, 1993, pp. 42\u201347."},{"key":"10.1016\/S0167-9260(01)00021-9_BIB8","unstructured":"S. Panda, F. Somenzi, Who are the variables in your neighborhood, in: International Conference on CAD, 1995, pp. 74\u201377."},{"key":"10.1016\/S0167-9260(01)00021-9_BIB9","doi-asserted-by":"crossref","unstructured":"C. Meinel, A. Slobodov\u00e1, Speeding up variable reordering of OBDD, in: International Conference on Computer Design, 1997, pp. 338\u2013343.","DOI":"10.1109\/ICCD.1997.628892"},{"key":"10.1016\/S0167-9260(01)00021-9_BIB10","unstructured":"A. Slobodov\u00e1, C. Meinel, Sample method for minimization of OBDD, in: International Workshop on Logic Synth., 1998, pp. 311\u2013316."},{"key":"10.1016\/S0167-9260(01)00021-9_BIB11","doi-asserted-by":"crossref","unstructured":"J. Jain, W. Adams, M. Fujita, Sampling schemes for computing OBDD variable orderings, in: International Conference on CAD, 1998, pp. 631\u2013638.","DOI":"10.1145\/288548.289099"},{"key":"10.1016\/S0167-9260(01)00021-9_BIB12","doi-asserted-by":"crossref","unstructured":"R. Drechsler, W. G\u00fcnther, Using lower bounds during dynamic BDD minimization, in: Design Automation Conference, 1999, pp. 29\u201332.","DOI":"10.1145\/309847.309858"},{"key":"10.1016\/S0167-9260(01)00021-9_BIB13","doi-asserted-by":"crossref","unstructured":"K.S. Brace, R.L. Rudell, R.E. Bryant, Efficient implementation of a BDD package, in: Design Automation Conference, 1990, pp. 40\u201345.","DOI":"10.1145\/123186.123222"},{"year":"1998","series-title":"Binary Decision Diagrams \u2014 Theory and Implementation","author":"Drechsler","key":"10.1016\/S0167-9260(01)00021-9_BIB14"},{"key":"10.1016\/S0167-9260(01)00021-9_BIB15","unstructured":"F. Somenzi, CUDD: CU Decision Diagram Package Release 2.3.0. University of Colorado, Boulder, 1998."},{"key":"10.1016\/S0167-9260(01)00021-9_BIB16","doi-asserted-by":"crossref","unstructured":"S. Panda, F. Somenzi, B.F. Plessier, Symmetry detection and dynamic variable ordering of decision diagrams, in: International Conference on CAD, 1994, pp. 628\u2013631.","DOI":"10.1109\/ICCAD.1994.629887"},{"key":"10.1016\/S0167-9260(01)00021-9_BIB17","doi-asserted-by":"crossref","unstructured":"D. M\u00f6ller, P. Molitor, R. Drechsler, Symmetry based variable ordering for ROBDDs. IFIP Workshop on Logic and Architecture Synthesis, Grenoble, 1994, pp. 47\u201353.","DOI":"10.1007\/978-0-387-34920-6_7"},{"key":"10.1016\/S0167-9260(01)00021-9_BIB18","unstructured":"R.K. Ranjan, J.V. Sanghavi, CAL-1.2: Breadth-First Manipulation Based BDD Library, University of California, Berkeley, 1997."},{"key":"10.1016\/S0167-9260(01)00021-9_BIB19","doi-asserted-by":"crossref","unstructured":"J.E. Harlow, F. Brglez, Design of experiments in BDD variable ordering: lessons learned, in: International Conference on CAD, 1998, pp. 646\u2013652.","DOI":"10.1145\/288548.289103"},{"key":"10.1016\/S0167-9260(01)00021-9_BIB20","doi-asserted-by":"crossref","unstructured":"The VIS Group, VIS: a system for verification and synthesis, in: Eighth International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Springer, Berlin, 1102, 1996, pp. 428\u2013432.","DOI":"10.1007\/3-540-61474-5_95"}],"container-title":["Integration"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167926001000219?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167926001000219?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T09:11:07Z","timestamp":1759137067000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167926001000219"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,11]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,11]]}},"alternative-id":["S0167926001000219"],"URL":"https:\/\/doi.org\/10.1016\/s0167-9260(01)00021-9","relation":{},"ISSN":["0167-9260"],"issn-type":[{"type":"print","value":"0167-9260"}],"subject":[],"published":{"date-parts":[[2001,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"History-based dynamic BDD minimization","name":"articletitle","label":"Article Title"},{"value":"Integration","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0167-9260(01)00021-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2001 Elsevier Science B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}