{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T21:10:21Z","timestamp":1738357821940,"version":"3.35.0"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1997,7,1]],"date-time":"1997-07-01T00:00:00Z","timestamp":867715200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1997,7]]},"DOI":"10.1007\/bf02943155","type":"journal-article","created":{"date-parts":[[2008,9,4]],"date-time":"2008-09-04T13:08:32Z","timestamp":1220533712000},"page":"366-371","source":"Crossref","is-referenced-by-count":0,"title":["Short-time scaling of variable ordering of OBDDs"],"prefix":"10.1007","volume":"12","author":[{"given":"Wangning","family":"Long","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinghua","family":"Min","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiyuan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shibai","family":"Tong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02943155_CR1","first-page":"677","volume":"35","author":"E Bryant Randal","year":"1986","unstructured":"Randal E Bryant. Graph-based algorithms for Boolean function Manipulation.IEEE Trans. Computers, 1986, C-35: 677\u2013691.","journal-title":"IEEE Trans. Computers"},{"key":"BF02943155_CR2","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/43.184839","volume":"12","author":"M Fujita","year":"1993","unstructured":"Fujita M, Fujisawa H, Matsunaga Y. Variable ordering algorithms for ordered binary decision diagram and their evaluation.IEEE Trans. CAD, 1993, 12: 6\u201312.","journal-title":"IEEE Trans. CAD"},{"key":"BF02943155_CR3","doi-asserted-by":"crossref","unstructured":"Fujii H, Ootomo G, Hori C. Interleaving based variable ordering methods for ordered binary decision diagrams. InIEEE ICCAD\u201993, pp.38\u201341.","DOI":"10.1109\/ICCAD.1993.580028"},{"issue":"20","key":"BF02943155_CR4","doi-asserted-by":"crossref","first-page":"1724","DOI":"10.1049\/el:19951177","volume":"31","author":"F M Yeh","year":"1995","unstructured":"Yeh F M, Lin C S. OBDD variable ordering by interleaving compacted clusters.Electronics Letters, 1995, 31(20): 1724\u20131725.","journal-title":"Electronics Letters"},{"key":"BF02943155_CR5","doi-asserted-by":"crossref","unstructured":"Rudell R. Dynamic variable ordering for ordered binary decision diagrams. InIEEE ICCAD\u201993, pp.42\u201347, 1993.","DOI":"10.1109\/ICCAD.1993.580029"},{"issue":"3","key":"BF02943155_CR6","first-page":"392","volume":"75","author":"S Minato","year":"1992","unstructured":"Minato S. Minimum-width method of variable ordering for binary decision diagrams.IEICE Trans. Fundamentals, 1992, E75-A(3): 392\u2013399.","journal-title":"IEICE Trans. Fundamentals"},{"key":"BF02943155_CR7","unstructured":"Li Zhongcheng, Pan Yuqi, Min Yinghua. SABTPG\u2014A structural analysis based automatic test generation system.Science In China (Series A), 37(9): 1104\u20131114."},{"key":"BF02943155_CR8","unstructured":"Long W N, Yang S Y, Min Y H, Tong S B. Variable ordering of OBDDs based on weight analysis.Chinese Journal of Computers, 20(8). (in Chinese)"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943155.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943155\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T20:39:45Z","timestamp":1738355985000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,7]]}},"alternative-id":["BF02943155"],"URL":"https:\/\/doi.org\/10.1007\/bf02943155","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[1997,7]]}}}