{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:48:03Z","timestamp":1725853683192},"publisher-location":"New York, NY","reference-count":18,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781493928637"},{"type":"electronic","value":"9781493928644"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-1-4939-2864-4_48","type":"book-chapter","created":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T16:09:45Z","timestamp":1553098185000},"page":"216-220","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Binary Decision Graph"],"prefix":"10.1007","author":[{"given":"Adnan","family":"Aziz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amit","family":"Prakash","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,22]]},"reference":[{"key":"781_CR2185","first-page":"283","volume-title":"BDD variable ordering for interacting finite state machines","author":"A Aziz","year":"1994","unstructured":"Aziz A, Tasiran S, Brayton R (1994) BDD variable ordering for interacting finite state machines. In: ACM design automation conference, San Diego, pp\u00a0283\u2013288"},{"key":"781_CR2186","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1989.63394","volume-title":"Ordered binary decision diagrams and circuit structure","author":"CL Berman","year":"1989","unstructured":"Berman CL (1989) Ordered binary decision diagrams and circuit structure. In: IEEE international conference on computer design, Cambridge"},{"key":"781_CR2187","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123222","volume-title":"Efficient implementation of a BDD package","author":"K Brace","year":"1990","unstructured":"Brace K, Rudell R, Bryant R (1990) Efficient implementation of a BDD package. In: ACM design automation conference, Orlando"},{"key":"781_CR2188","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic minimization algorithms for VLSI synthesis","author":"R Brayton","year":"1984","unstructured":"Brayton R, Hachtel G, McMullen C, Sangiovanni-Vincentelli A (1984) Logic minimization algorithms for VLSI synthesis. Kluwer Academic, Boston"},{"key":"781_CR2189","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R Bryant","year":"1986","unstructured":"Bryant R (1986) Graph-based algorithms for Boolean function manipulation. IEEE Trans Comput C-35:677\u2013691","journal-title":"IEEE Trans Comput"},{"key":"781_CR2190","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"2001","unstructured":"Cormen TH, Leiserson CE, Rivest RH, Stein C (2001) Introduction to algorithms. MIT, Cambridge"},{"key":"781_CR2191","volume-title":"Computers and intractability","author":"MR Garey","year":"1979","unstructured":"Garey MR, Johnson DS (1979) Computers and intractability. W.H. Freeman and Co, New York"},{"key":"781_CR2192","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF00121125","volume":"1","author":"A Gupta","year":"1993","unstructured":"Gupta A (1993) Formal hardware verification methods: a survey. Formal Method Syst Des 1:151\u2013238","journal-title":"Formal Method Syst Des"},{"key":"781_CR2193","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1948.001.0001","volume-title":"Communication complexity: a new approach to circuit depth","author":"M Karchmer","year":"1989","unstructured":"Karchmer M (1989) Communication complexity: a new approach to circuit depth. MIT, Cambridge"},{"key":"781_CR2194","volume-title":"Equivalence checking using cuts and heaps","author":"A Kuehlmann","year":"1997","unstructured":"Kuehlmann A, Krohm F (1997) Equivalence checking using cuts and heaps. In: ACM design automation conference, Anaheim"},{"key":"781_CR2195","first-page":"6","volume-title":"Logic verification using binary decision diagrams in a logic synthesis environment","author":"S Malik","year":"1988","unstructured":"Malik S, Wang AR, Brayton RK, Sangiovanni-Vincentelli A (1988) Logic verification using binary decision diagrams in a logic synthesis environment. In: IEEE international conference on computer-aided design, Santa Clara, pp\u00a06\u20139"},{"key":"781_CR2196","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking","author":"KL McMillan","year":"1993","unstructured":"McMillan KL (1993) Symbolic model checking. Kluwer Academic, Boston"},{"key":"781_CR2197","volume-title":"Synthesis and optimization of digital circuits","author":"G Micheli De","year":"1994","unstructured":"De Micheli G (1994) Synthesis and optimization of digital circuits. McGraw Hill, New York"},{"key":"781_CR2198","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60322-8","volume-title":"Gems of theoretical computer science","author":"U Schoning","year":"1998","unstructured":"Schoning U, Pruim R (1998) Gems of theoretical computer science. Springer, Berlin\/New York"},{"key":"781_CR2199","volume-title":"Introduction to the theory of computation","author":"M Sipser","year":"2005","unstructured":"Sipser M (2005) Introduction to the theory of computation, 2nd edn. Course Technology, Boston","edition":"2"},{"key":"781_CR2200","unstructured":"Somenzi F (2012) Colorado University Decision Diagram package. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD"},{"key":"781_CR2201","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719789","volume-title":"Branching programs and binary decision diagrams","author":"I Wegener","year":"2000","unstructured":"Wegener I (2000) Branching programs and binary decision diagrams. SIAM, Philadelphia"},{"key":"781_CR2202","volume-title":"Constraint-based verification","author":"J Yuan","year":"2006","unstructured":"Yuan J, Pixley C, Aziz A (2006) Constraint-based verification. Springer, New York"}],"container-title":["Encyclopedia of Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4939-2864-4_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,21]],"date-time":"2019-11-21T19:03:14Z","timestamp":1574362994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4939-2864-4_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9781493928637","9781493928644"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4939-2864-4_48","relation":{},"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"22 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}