{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:25:22Z","timestamp":1761596722103,"version":"3.43.0"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1008695706493","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:12:40Z","timestamp":1040551960000},"page":"137-148","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":29,"title":["Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping"],"prefix":"10.1007","volume":"10","author":[{"given":"E.M.","family":"Clarke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.L.","family":"Mcmillan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"X.","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1997,4,1]]},"reference":[{"key":"126526_CR1","doi-asserted-by":"crossref","unstructured":"R.E. Bryant, \"Graph-based algorithms for boolean function manipulation,\" IEEE Transactions on Computers, Vol. C-35, No. 8, 1986.","DOI":"10.1109\/TC.1986.1676819"},{"key":"126526_CR2","unstructured":"M.A. Harrison, Introduction to Switching and Automata Theory. McGraw-Hill, 1965."},{"key":"126526_CR3","doi-asserted-by":"crossref","unstructured":"S.L. Hurst, D.M. Miller, and J.C. Muzio, Spectral Techniques in Digital Logic. Academic Press, Inc., 1985.","DOI":"10.1016\/0165-1684(85)90052-0"},{"key":"126526_CR4","doi-asserted-by":"crossref","unstructured":"R.J. Lechner, \"A transform approach to logic design,\" IEEE Transactions on Computers, Vol. C-19, No. 7, 1970.","DOI":"10.1109\/T-C.1970.222995"},{"key":"126526_CR5","unstructured":"F. Mailhot and G. De Micheli, \"Technology mapping using boolean matching and don't care sets,\" In Proceedings of the 1990 European Design Automation Conference, 1990."},{"key":"126526_CR6","doi-asserted-by":"crossref","unstructured":"G. De Micheli, David Ku, F. Mailhot, and T.K. Truong, \"The olympus synthesis system for digital design,\" IEEE Design and Test of Computers, Oct. 1990.","DOI":"10.1109\/54.60605"},{"key":"126526_CR7","unstructured":"J. Yang and G. De Micheli, \"Spectral Techniques for Technology Mapping,\" Technical Report CSL-TR-91-498, Standford University, Dec. 1991."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008695706493.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008695706493\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008695706493.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:42:26Z","timestamp":1754368946000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008695706493"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":7,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["126526"],"URL":"https:\/\/doi.org\/10.1023\/a:1008695706493","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1997,4]]},"assertion":[{"value":"1 April 1997","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}