{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:16:13Z","timestamp":1773656173086,"version":"3.50.1"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1109\/tc.2003.1197126","type":"journal-article","created":{"date-parts":[[2003,5,8]],"date-time":"2003-05-08T17:54:53Z","timestamp":1052416493000},"page":"592-606","source":"Crossref","is-referenced-by-count":24,"title":["Reduction of sizes of decision diagrams by autocorrelation functions"],"prefix":"10.1109","volume":"52","author":[{"given":"M.G.","family":"Karpovsky","sequence":"first","affiliation":[]},{"given":"R.S.","family":"Stankovic","sequence":"additional","affiliation":[]},{"given":"J.T.","family":"Astola","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","volume-title":"Binary Polynomial Transforms and Nonlinear Digital Filters","author":"Agaian","year":"1995"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.249982"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref5","first-page":"86","article-title":"Spectral Transforms for Extremely Large Boolean Functions","volume-title":"Proc. IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expression in Circuit Design","author":"Clarke"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2892-7","volume-title":"Binary Decision Diagrams, Theory and Impementation","author":"Drechsler","year":"1998"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1996.542094"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1991.206358"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1994.408808"},{"key":"ref10","first-page":"525","article-title":"BDD Minimization by Linear Transforms","author":"G\u00fcnther","year":"1998","journal-title":"Advanced Computer Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810620"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1999.777884"},{"key":"ref13","volume-title":"Finite Orthogonal Series in the Design of Digital Devices","author":"Karpovsky","year":"1976"},{"issue":"2","key":"ref14","first-page":"83","article-title":"Utilization of Autocorrelation Characteristics for the Realization of Systems of Logical Functions","author":"Karpovsky","year":"1970","journal-title":"Avtomatika i Telmekhanika"},{"key":"ref15","first-page":"35","volume-title":"Spectral Techniques and Fault Detection","author":"Karpovsky","year":"1985"},{"key":"ref16","first-page":"1","article-title":"Spectral Techniques for Design and Testing of Computer Hardware","volume-title":"Proc. Int\u2019l Workshop Spectral Techniques in Logic Design","author":"Karpovsky"},{"key":"ref17","article-title":"Synthesis of Encoded PLAs","volume-title":"Spectral Techniques and Fault Detection","author":"Lechner","year":"1985"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597144"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/43.845077"},{"key":"ref20","first-page":"129","article-title":"Calculation of Dyadic Autocorrelation throguh Decision Diagrams","volume-title":"Proc. Int\u2019l Workshop Computational Intelligence and Information Technologies","author":"Miloevi"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1385-4_1"},{"key":"ref22","first-page":"74","article-title":"Who Are the Variables in Your Neigborhood","volume-title":"Proc. IEEE Int\u2019l Conf. Computer-Aided Design","author":"Panda"},{"key":"ref23","first-page":"628","article-title":"Symmetry Detection and Dynamic Variable Ordering of Decision Diagrams","volume-title":"Proc. IEEE Int\u2019l Conf. Computer-Aided Design","author":"Panda"},{"key":"ref24","first-page":"185","article-title":"The use of Autocorrelation Coefficients for Variable Ordering for ROBDDs","volume-title":"Proc. Fourth Int\u2019l Workshop Applications of Reed-Muller Expansion in Circuit Design","author":"Rice"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5139-3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1385-4"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(99)00210-3"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028562"},{"key":"ref30","author":"Somenzi","year":"1996","journal-title":"CUDDColorado Univ. Decision Diagram Package"},{"key":"ref31","volume-title":"Spectral Transform Decision Diagrams in Simple Questions and Simple Answers","author":"Stankovi","year":"1998"},{"key":"ref32","first-page":"139","article-title":"Some Remarks on Basic Characteristics of Decision Diagrams","volume-title":"Proc. Fourth Int\u2019l Workshop Applications of Reed-Muller Expansion in Circuit Design","author":"Stankovi"},{"key":"ref33","first-page":"337","article-title":"Calulation of Dyadic Autocorrelation through Decision Diagrams","volume-title":"Proc. European Conf. Circuit Theory and Design","author":"Stankovi"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/aspdac.1998.669518"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1385-4_3"},{"key":"ref36","first-page":"331","article-title":"SVD of Frobenius Matrices for Approximate and Multiobjective Signal Processing Tasks","volume-title":"SVD and Signal Processing","author":"Trachtenberg","year":"1988"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00053-3"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/12\/26942\/01197126.pdf?arnumber=1197126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T05:09:45Z","timestamp":1742101785000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1197126\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":37,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,5]]}},"URL":"https:\/\/doi.org\/10.1109\/tc.2003.1197126","relation":{},"ISSN":["0018-9340"],"issn-type":[{"value":"0018-9340","type":"print"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}