{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T02:02:36Z","timestamp":1780711356567,"version":"3.54.1"},"reference-count":25,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2014]]},"DOI":"10.1587\/transinf.2013lop0015","type":"journal-article","created":{"date-parts":[[2014,8,31]],"date-time":"2014-08-31T23:32:28Z","timestamp":1409527948000},"page":"2262-2269","source":"Crossref","is-referenced-by-count":2,"title":["Synthesis of Quantum Arrays from Kronecker Functional Lattice Diagrams"],"prefix":"10.1587","volume":"E97.D","author":[{"given":"Martin","family":"LUKAC","sequence":"first","affiliation":[{"name":"Graduate School of Information Sciences, Tohoku University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dipal","family":"SHAH","sequence":"additional","affiliation":[{"name":"Department of Computer and Electrical Engineering, Portland State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marek","family":"PERKOWSKI","sequence":"additional","affiliation":[{"name":"Department of Computer and Electrical Engineering, Portland State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michitaka","family":"KAMEYAMA","sequence":"additional","affiliation":[{"name":"Graduate School of Information Sciences, Tohoku University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"532","reference":[{"key":"1","unstructured":"[1] A. Agrawal and N.K. Jha, \u201cSynthesis of reversible logic,\u201d Proc. DATE, pp.710-722, 2004."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] S.B. Akers, \u201cA rectangular logic array,\u201d IEEE Trans. Comput., vol.C-21, pp.848-857, 1972.","DOI":"10.1109\/TC.1972.5009040"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] J.I. Cirac and P. Zoller, \u201cQuantum computation with cold trapped ions,\u201d Phys. Rev. Lett., vol.74, no.20, p.4091, 1995.","DOI":"10.1103\/PhysRevLett.74.4091"},{"key":"4","unstructured":"[4] D. Deutsch and R. Jozsa, \u201cRapid solution of problems by quantum computation,\u201d Proc. Royal Society of London, vol.A400, pp.73-90, 1992."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] R. Drechsler, A. Sarabi, M. Theobald, B. Becker, and M. Perkowski, \u201cEfficient representation and manipulation of switching functions based on ordered kronecker functional decision diagrams,\u201d Proc. Design Automation Conference, pp.415-419, 1994.","DOI":"10.1145\/196244.196444"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] K. Fazel, M.A. Thornton, and J.E. Rice, \u201cESOP-based Toffoli gate cascade generation,\u201d IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, pp.206-209, 2007.","DOI":"10.1109\/PACRIM.2007.4313212"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] L.K. Grover, \u201cA fast quantum mechanical algorithm for database search,\u201d arXiv: quant-ph\/9605043, 1996.","DOI":"10.1145\/237814.237866"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] U. Kebschull, E.E. Schubert, and W. Rosenstiel, \u201cMultilevel logic based on functional decision diagrams,\u201d Proc. European Design Automation Conferance, pp.43-47, 1992.","DOI":"10.1109\/EDAC.1992.205890"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] S. Lloyd, \u201cUniversal quantum simulators,\u201d Science, vol.273, pp.1073-1078, 1996.","DOI":"10.1126\/science.273.5278.1073"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] M. Lukac, M. Kameyama, M. Perkowski, and P. Kerntopf, \u201cDecomposition of reversible logic function based on cube-reordering,\u201d Facta Universitatis, vol.24, no.3, pp.403-422, 2011.","DOI":"10.2298\/FUEE1103403L"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] M. Lukac, M. Perkowski, H. Goi, M. Pivtoraiko, C.H. Yu, K. Chung, H. Jee, B.-G. Kim, and Y.-D. Kim, \u201cEvolutionary approach to quantum reversible circuit synthesis,\u201d Artif. Intell. Review., vol.20, no.3-4, pp.361-417, 2003.","DOI":"10.1023\/B:AIRE.0000006605.86111.79"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] D. Maslov, G.W. Dueck, and D.M. Miller, \u201cTechniques for the synthesis of reversible Toffoli networks,\u201d ACM Trans. Des. Autom. Electron. Syst., vol.12, no.4, article 41, 2007.","DOI":"10.1145\/1278349.1278355"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] D. Maslov and G.W. Dueck, \u201cImproved quantum cost for n-bit Toffoli gates,\u201d Electron. Lett., vol.39, no.25, pp.1790-1791, 2003.","DOI":"10.1049\/el:20031202"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] T.S. Metodi, A.I. Faruque, and F.T. Chong, Quantum Computing for Computer Architects, Second ed., vol.6, 2011.","DOI":"10.2200\/S00331ED1V01Y201101CAC013"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] D.M. Miller, D. Maslov, and G.W. Dueck, \u201cA transformation based algorithm for reversible logic synthesis,\u201d Proc. DAC, 2003.","DOI":"10.1145\/775832.775915"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] N.M. Nayeem and J.E. Rice, \u201cA shared-cube approach to esop-based synthesis of reversible logic,\u201d Facta universitatis-series: Electronics and Energetics, vol.24, no.3, pp.385-402, 2011.","DOI":"10.2298\/FUEE1103385N"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] S. Panda, F. Somenzi, and B.F. Plessier, \u201cSymmetry detection and dynamic variable ordering of decision diagrams,\u201d Proc. DAC, pp.628-631, 1994.","DOI":"10.1109\/ICCAD.1994.629887"},{"key":"18","unstructured":"[18] M. Perkowski, L. Jozwiak, and R. Drechsler, \u201cA canonical and\/exor form that includes both the generalized reed-muller forms and kronecker reed-muller forms,\u201d Proc. Reed-Muller 1997 Conference, pp.219-233, 1997."},{"key":"19","unstructured":"[19] M. Perkowski, L. Jozwiak, R. Drechsler, and B. Falkowski, \u201cOrdered and shared, linearly independent, variable-pair decision diagrams,\u201d Proc. First International Conference on Information, Communications and Signal Processing, 1997."},{"key":"20","unstructured":"[20] M.A. Perkowski, M. Chrzanowska-Jeske, and Y. Xu, \u201cLattice diagrams using reed-muller logic,\u201d IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design, pp.85-102, 1997."},{"key":"21","unstructured":"[21] R. Rudell, \u201cDynami variable ordering for ordered binary decision diagrams,\u201d Proc. ICCAD, pp.42-47, 1993."},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] D. Shah and M.A. Perkowski, \u201cSynthesis of quantum arrays with low quantum costs from kronecker functional lattice diagrams,\u201d IEEE Congress on Evolutionary Computation, pp.1-7, 2010.","DOI":"10.1109\/CEC.2010.5586298"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] P.W. Shor, \u201cAlgorithms for quantum computation: Discrete logarithms and factoring,\u201d Proc. 35th Annual Symposium on Foundations of Computer Science (Shafi Goldwasser, ed.), pp.124-134, 1994.","DOI":"10.1109\/SFCS.1994.365700"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] W. Wang and M. Chrzanowska-Jeske, \u201cA global approach to the variable ordering problem in psbdds,\u201d Proc. IEEE International Symposium on Circuits and Systems, ISCAS, pp.117-120, 2001.","DOI":"10.1109\/ISCAS.2001.921999"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] R. Wille, D. Gro\u00dfe, D.M. Miller, and R. Dreschler, \u201cEquivalence checking of reversible circuits,\u201d Proc. 39th International Symposium on Multi-Valued Logic, pp.324-330, 2009.","DOI":"10.1109\/ISMVL.2009.19"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E97.D\/9\/E97.D_2013LOP0015\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T12:13:20Z","timestamp":1746360800000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E97.D\/9\/E97.D_2013LOP0015\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":25,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2014]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2013lop0015","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}