{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:45Z","timestamp":1725456345461},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634379"},{"type":"electronic","value":"9783540695479"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0029984","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:24:59Z","timestamp":1133418299000},"page":"408-417","source":"Crossref","is-referenced-by-count":1,"title":["On the influence of the state encoding on OBDD-representations of finite state machines"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Meinel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Theobald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"A. Aziz, S. Taziran, and R. K. Brayton. BDD variable ordering for interacting finite state machines. In Proc. 31st ACMIIEEE Design Automation Conference, 283\u2013288, 1994.","DOI":"10.1145\/196244.196379"},{"key":"41_CR2","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1109\/43.275352","volume":"13","author":"J. R. Burch","year":"1994","unstructured":"J. R. Burch, E. M. Clarke, D. E. Long, K. L. McMillan, and D. L. Dill. Symbolic model checking for sequential circuit verification. IEEE Transactions on CAD, 13:401\u2013424, 1994.","journal-title":"IEEE Transactions on CAD"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"J. Bern, Ch. Meinel, and A. Slobodova. Global rebuilding of OBDDs-avoiding memory requirement maxima. In Proc. Computer-Aided Verification, Lecture Notes in Computer Science 939, 4-15. Springer, 1995.","DOI":"10.1007\/3-540-60045-0_36"},{"key":"41_CR4","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:677\u2013691, 1986.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"41_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. E. Bryant","year":"1992","unstructured":"R. E. Bryant. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3):293\u2013318, 1992.","journal-title":"ACM Computing Surveys"},{"key":"41_CR6","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1109\/12.537122","volume":"45","author":"B. Bollig","year":"1996","unstructured":"B. Bollig and I. Wegener. Improving the variable ordering of OBDDs is NP-complete. IEEE Transactions on Computers, 45:993\u20131002, 1996.","journal-title":"IEEE Transactions on Computers"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"O. Coudert, C. Berthet, and J. C. Madre. Verification of synchronous sequential machines using symbolic execution. In Proc. Workshop on Automatic Verification Methods for Finite State Machines, Lecture Notes in Computer Science 407, 365\u2013373. Springer, 1989.","DOI":"10.1007\/3-540-52148-8_30"},{"issue":"2","key":"41_CR8","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF01383965","volume":"6","author":"O. Coudert","year":"1995","unstructured":"O. Coudert and J. C. Madre. The implicit set paradigm: A new approach to finite state system verification. Formal Methods in System Design, 6(2):133\u2013145, 1995.","journal-title":"Formal Methods in System Design"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"A. Ghosh, S. Devadas, and A. R. Newton. Sequential Logic Testing and Verification. Kluwer Academic Publishers, 1992.","DOI":"10.1007\/978-1-4615-3646-8"},{"key":"41_CR10","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1007\/3-540-58338-6_98","volume":"841","author":"C. Meinel","year":"1994","unstructured":"Ch. Meinel and A. Slobodova. On the complexity of constructing optimal ordered binary decision diagrams. In Proc. Mathematical Foundations in Computer Science, Lecture Notes in Computer Science 841, 515\u2013524, 1994.","journal-title":"Proc. Mathematical Foundations in Computer Science, Lecture Notes in Computer Science"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"Ch. Meinel, F. Somenzi, and T. Theobald. Linear sifting of decision diagrams. To appear at 34th ACM\/IEEE Design Automation Conference (Anaheim, CA), 1997.","DOI":"10.1145\/266021.266066"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"Ch. Meinel and T. Theobald. Local encoding transformations for optimizing OBDD-representations of finite state machines. In Proc. International Conference on Formal Methods in CAD (Palo Alto, CA), Lecture Notes in Computer Science 1166, 404\u2013418. Springer, 1996.","DOI":"10.1007\/BFb0031824"},{"key":"41_CR13","doi-asserted-by":"crossref","unstructured":"R. Rudell. Dynamic variable ordering for ordered binary decision diagrams. In Proc. IEEE International Conference on CAD, 42\u201347, 1993.","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"S. Tani, K. Hamaguchi, and S. Yajima.The complexity of the optimal variable ordering problems of shared binary decision diagrams. In Proc. International Symposium on Algorithms and Computation '93, Lecture Notes in Computer Science 762, 389\u2013398. Springer, 1993.","DOI":"10.1007\/3-540-57568-5_270"},{"key":"41_CR15","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0012-365X(95)90790-R","volume":"136","author":"I. Wegener","year":"1994","unstructured":"I. Wegener. Efficient data structures for Boolean functions. Discrete Mathematics, 136:347\u2013372, 1994.","journal-title":"Discrete Mathematics"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029984","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:22:31Z","timestamp":1586593351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029984"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634379","9783540695479"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0029984","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}