{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:48:45Z","timestamp":1729676925478,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2003.1201426","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"334-339","source":"Crossref","is-referenced-by-count":9,"title":["Fast algorithm for computing spectral transforms of Boolean and multiple-valued functions on circuit representation"],"prefix":"10.1109","author":[{"given":"R.","family":"Krenz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Dubrova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Kuehlmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/362835.362838"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1385-4"},{"journal-title":"CUDD CU decision diagram package release 2 3 1","year":"2001","author":"somenzi","key":"23"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/505306.505344"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1995.523856"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1994.408789"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224279"},{"key":"14","first-page":"508","article-title":"Generating Boolean functions via arithmetic polynomials","volume":"49","author":"artykhov","year":"1988","journal-title":"Automation and Remote Control"},{"journal-title":"Build-In Test for VLSI Pseudorandom Techniques","year":"1987","author":"bardell","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597155"},{"key":"21","first-page":"188","article-title":"Theory or relay networks for the transformation between the decimal and binary system","volume":"15","author":"komamiya","year":"1951","journal-title":"Bull Electrotech Lab"},{"key":"3","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/157485.164569","article-title":"spectral transforms for large boolean functions with applications to technology mapping","author":"clarke","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"20","article-title":"Synthesis of electronic computing and control circuits","volume":"17","author":"aiken","year":"1951","journal-title":"The Annals of Computational Laboratory of Harward University"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00464357"},{"journal-title":"Spectral Techniques in Digital Logic","year":"1976","author":"hurst","key":"1"},{"key":"10","first-page":"1","article-title":"Power estimation in binary CMOS circuits based on multiple-valued logic","volume":"0","author":"wu","year":"2000","journal-title":"Multiple-Valued Logic An International Journal"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848659"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:19960101"},{"key":"5","first-page":"123","article-title":"Probabilistic equivalence checking using partial Haar spectral diagrams","author":"thornton","year":"1999","journal-title":"Proc Int l Workshop Applications of the Reed-Muller Expansion in Circuit Design"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/43.945313"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.479880"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227826"}],"event":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003.","location":"Meiji University, Tokyo, Japan"},"container-title":["33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8551\/27046\/01201426.pdf?arnumber=1201426","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:15:30Z","timestamp":1497600930000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1201426\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2003.1201426","relation":{},"subject":[]}}