{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T02:03:09Z","timestamp":1780711389936,"version":"3.54.1"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319405773","type":"print"},{"value":"9783319405780","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40578-0_14","type":"book-chapter","created":{"date-parts":[[2016,6,29]],"date-time":"2016-06-29T20:25:20Z","timestamp":1467231920000},"page":"181-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Using $$\\pi $$ DDs for Nearest Neighbor Optimization of Quantum Circuits"],"prefix":"10.1007","author":[{"given":"Robert","family":"Wille","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nils","family":"Quetschlich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuma","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Norihito","family":"Yasuda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shin-ichi","family":"Minato","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,6,30]]},"reference":[{"key":"14_CR1","volume-title":"Quantum Computation and Quantum Information","author":"M Nielsen","year":"2000","unstructured":"Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge Univ. Press, Cambridge (2000)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Shor, P.W.: Algorithms for quantum computation: discrete logarithms and factoring. In: Foundations of Computer Science, pp. 124\u2013134 (1994)","DOI":"10.1109\/SFCS.1994.365700"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Theory of Computing, pp. 212\u2013219 (1996)","DOI":"10.1145\/237814.237866"},{"issue":"11","key":"14_CR4","doi-asserted-by":"publisher","first-page":"2317","DOI":"10.1109\/TCAD.2006.871622","volume":"25","author":"P Gupta","year":"2006","unstructured":"Gupta, P., Agrawal, A., Jha, N.K.: An algorithm for synthesis of reversible logic circuits. IEEE Trans. CAD 25(11), 2317\u20132330 (2006)","journal-title":"IEEE Trans. CAD"},{"issue":"4","key":"14_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1278349.1278355","volume":"12","author":"D Maslov","year":"2007","unstructured":"Maslov, D., Dueck, G.W., Miller, D.M.: Techniques for the synthesis of reversible Toffoli networks. ACM Trans. Des. Autom. Electron. Syst. 12(4), 1\u201320 (2007)","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"14_CR6","unstructured":"Saeedi, M., Sedighi, M., Zamani, M.S.: A novel synthesis algorithm for reversible circuits. In: International Conference on CAD, pp. 65\u201368 (2007)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Wille, R., Gro\u00dfe, D., Dueck, G., Drechsler, R.: Reversible logic synthesis with output permutation. In: VLSI Design, pp. 189\u2013194 (2009)","DOI":"10.1109\/VLSI.Design.2009.40"},{"issue":"5","key":"14_CR8","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/TCAD.2009.2017215","volume":"28","author":"D Gro\u00dfe","year":"2009","unstructured":"Gro\u00dfe, D., Wille, R., Dueck, G.W., Drechsler, R.: Exact multiple control Toffoli network synthesis with SAT techniques. IEEE Trans. CAD 28(5), 703\u2013715 (2009)","journal-title":"IEEE Trans. CAD"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Wille, R., Drechsler, R.: BDD-based synthesis of reversible logic for large functions. In: Design Automation Conference, pp. 270\u2013275 (2009)","DOI":"10.1145\/1629911.1629984"},{"issue":"4","key":"14_CR10","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.mejo.2010.02.002","volume":"41","author":"M Saeedi","year":"2010","unstructured":"Saeedi, M., Sedighi, M., Zamani, M.S.: A library-based synthesis methodology for reversible logic. Microelectron. J. 41(4), 185\u2013194 (2010)","journal-title":"Microelectron. J."},{"issue":"4","key":"14_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1877745.1877747","volume":"6","author":"M Saeedi","year":"2010","unstructured":"Saeedi, M., Zamani, M.S., Sedighi, M., Sasanian, Z.: Reversible circuit synthesis using a cycle-based approach. J. Emerg. Technol. Comput. Syst. 6(4), 1\u201326 (2010)","journal-title":"J. Emerg. Technol. Comput. Syst."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Hilken, C., Przigoda, N., Drechsler, R.: Synthesis of reversible circuits with minimal lines for large functions. In: ASP Design Automation Conference, pp. 85\u201392 (2012)","DOI":"10.1109\/ASPDAC.2012.6165069"},{"key":"14_CR13","first-page":"3457","volume":"52","author":"A Barenco","year":"1995","unstructured":"Barenco, A., Bennett, C.H., Cleve, R., DiVinchenzo, D., Margolus, N., Shor, P., Sleator, T., Smolin, J., Weinfurter, H.: Elementary gates for quantum computation. Am. Phys. Soc. 52, 3457\u20133467 (1995)","journal-title":"Am. Phys. Soc."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Miller, D.M., Wille, R., Sasanian, Z.: Elementary quantum gate realizations for multiple-control Toffolli gates. In: International Symposium on Multi-valued Logic, pp. 288\u2013293 (2011)","DOI":"10.1109\/ISMVL.2011.54"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Sasanian, Z., Wille, R., Miller, D.M.: Realizing reversible circuits using a new class of quantum gates. In: Design Automation Conference, pp. 36\u201341 (2012)","DOI":"10.1145\/2228360.2228368"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Wille, R., Soeken, M., Otterstedt, C., Drechsler, R.: Improving the mapping of reversible circuits to quantum circuits using multiple target lines. In: ASP Design Automation Conference, pp. 85\u201392 (2013)","DOI":"10.1109\/ASPDAC.2013.6509587"},{"issue":"6","key":"14_CR17","doi-asserted-by":"publisher","first-page":"1000","DOI":"10.1109\/TCAD.2005.855930","volume":"25","author":"VV Shende","year":"2006","unstructured":"Shende, V.V., Bullock, S.S., Markov, I.L.: Synthesis of quantum-logic circuits. IEEE Trans. CAD 25(6), 1000\u20131010 (2006)","journal-title":"IEEE Trans. CAD"},{"issue":"9","key":"14_CR18","doi-asserted-by":"publisher","first-page":"1652","DOI":"10.1109\/TCAD.2005.858352","volume":"25","author":"W Hung","year":"2006","unstructured":"Hung, W., Song, X., Yang, G., Yang, J., Perkowski, M.: Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. IEEE Trans. CAD 25(9), 1652\u20131663 (2006)","journal-title":"IEEE Trans. CAD"},{"issue":"4","key":"14_CR19","first-page":"270","volume":"15","author":"D Gro\u00dfe","year":"2009","unstructured":"Gro\u00dfe, D., Wille, R., Dueck, G.W., Drechsler, R.: Exact synthesis of elementary quantum gate circuits. Multiple-Valued Logic Soft Comput. 15(4), 270\u2013275 (2009)","journal-title":"Multiple-Valued Logic Soft Comput."},{"issue":"3&4","key":"14_CR20","first-page":"262","volume":"11","author":"M Saeedi","year":"2011","unstructured":"Saeedi, M., Arabzadeh, M., Zamani, M.S., Sedighi, M.: Block-based quantum-logic synthesis. Quant. Inf. Comput. 11(3&4), 262\u2013277 (2011)","journal-title":"Quant. Inf. Comput."},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Niemann, P., Wille, R., Drechsler, R.: Efficient synthesis of quantum circuits implementing Clifford group operations. In: ASP Design Automation Conference, pp. 483\u2013488 (2014)","DOI":"10.1109\/ASPDAC.2014.6742938"},{"issue":"3","key":"14_CR22","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s11128-010-0201-2","volume":"10","author":"M Saeedi","year":"2011","unstructured":"Saeedi, M., Wille, R., Drechsler, R.: Synthesis of quantum circuits for linear nearest neighbor architectures. Quant. Inf. Proc. 10(3), 355\u2013377 (2011)","journal-title":"Quant. Inf. Proc."},{"issue":"1","key":"14_CR23","first-page":"1","volume":"16","author":"MH Khan","year":"2008","unstructured":"Khan, M.H.: Cost reduction in nearest neighbour based synthesis of quantum Boolean circuits. Eng. Lett. 16(1), 1\u20135 (2008)","journal-title":"Eng. Lett."},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Hirata, Y., Nakanishi, M., Yamashita, S., Nakashima, Y.: An efficient method to convert arbitrary quantum circuits to ones on a linear nearest neighbor architecture. In: Conference on Quantum, Nano and Micro Technologies, pp. 26\u201333 (2009)","DOI":"10.1109\/ICQNM.2009.25"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Shafaei, A., Saeedi, M., Pedram, M.: Optimization of quantum circuits for interaction distance in linear nearest neighbor architectures. In: Design Automation Conference, pp. 41\u201346 (2013)","DOI":"10.1145\/2463209.2488785"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Wille, R., Lye, A., Drechsler, R.: Optimal SWAP gate insertion for nearest neighbor quantum circuits. In: ASP Design Automation Conference, pp. 489\u2013494 (2014)","DOI":"10.1109\/ASPDAC.2014.6742939"},{"issue":"12","key":"14_CR27","doi-asserted-by":"publisher","first-page":"1818","DOI":"10.1109\/TCAD.2014.2356463","volume":"33","author":"R Wille","year":"2014","unstructured":"Wille, R., Lye, A., Drechsler, R.: Exact reordering of circuit lines for nearest neighbor quantum architectures. IEEE Trans. CAD 33(12), 1818\u20131831 (2014)","journal-title":"IEEE Trans. CAD"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Minato, S.: $$\\pi $$ DD: a new decision diagram for efficient problem solving in permutation space. In: Conference on Theory and Applications of Satisfiability Testing, pp. 90\u2013104 (2011)","DOI":"10.1007\/978-3-642-21581-0_9"},{"key":"14_CR29","first-page":"237","volume":"4","author":"AG Fowler","year":"2004","unstructured":"Fowler, A.G., Devitt, S.J., Hollenberg, L.C.L.: Implementation of Shor\u2019s algorithm on a linear nearest neighbour qubit array. Quant. Inf. Comput. 4, 237\u2013245 (2004)","journal-title":"Quant. Inf. Comput."},{"issue":"1","key":"14_CR30","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1126257.1126259","volume":"2","author":"RV Meter","year":"2006","unstructured":"Meter, R.V., Oskin, M.: Architectural implications of quantum computing technologies. J. Emerg. Technol. Comput. Syst. 2(1), 31\u201363 (2006)","journal-title":"J. Emerg. Technol. Comput. Syst."},{"issue":"7","key":"14_CR31","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/1364782.1364787","volume":"51","author":"M Ross","year":"2008","unstructured":"Ross, M., Oskin, M.: Quantum computing. Comm. ACM 51(7), 12\u201313 (2008)","journal-title":"Comm. ACM"},{"issue":"3","key":"14_CR32","doi-asserted-by":"publisher","first-page":"033031","DOI":"10.1088\/1367-2630\/12\/3\/033031","volume":"12","author":"JM Amini","year":"2010","unstructured":"Amini, J.M., Uys, H., Wesenberg, J.H., Seidelin, S., Britton, J., Bollinger, J.J., Leibfried, D., Ospelkaus, C., VanDevender, A.P., Wineland, D.J.: Toward scalable ion traps for quantum information processing. New J. Phys. 12(3), 033031 (2010)","journal-title":"New J. Phys."},{"issue":"7","key":"14_CR33","doi-asserted-by":"publisher","first-page":"073043","DOI":"10.1088\/1367-2630\/13\/7\/073043","volume":"13","author":"M Kumph","year":"2011","unstructured":"Kumph, M., Brownnutt, M., Blatt, R.: Two-dimensional arrays of radio-frequency ion traps with addressable interactions. New J. Phys. 13(7), 073043 (2011)","journal-title":"New J. Phys."},{"key":"14_CR34","doi-asserted-by":"publisher","first-page":"1756","DOI":"10.1038\/ncomms2773","volume":"4","author":"NH Nickerson","year":"2013","unstructured":"Nickerson, N.H., Li, Y., Benjamin, S.C.: Topological quantum computing with a very noisy network and local error rates approaching one percent. Nat. Commun. 4, 1756 (2013)","journal-title":"Nat. Commun."},{"issue":"8","key":"14_CR35","doi-asserted-by":"publisher","first-page":"083032","DOI":"10.1088\/1367-2630\/11\/8\/083032","volume":"11","author":"SJ Devitt","year":"2009","unstructured":"Devitt, S.J., Fowler, A.G., Stephens, A.M., Greentree, A.D., Hollenberg, L.C.L., Munro, W.J., Nemoto, K.: Architectural design for a topological cluster state quantum computer. New J. Phys. 11(8), 083032 (2009)","journal-title":"New J. Phys."},{"key":"14_CR36","doi-asserted-by":"publisher","first-page":"022306","DOI":"10.1103\/PhysRevA.87.022306","volume":"87","author":"NY Yao","year":"2013","unstructured":"Yao, N.Y., Gong, Z.X., Laumann, C.R., Bennett, S.D., Duan, L.M., Lukin, M.D., Jiang, L., Gorshkov, A.V.: Quantum logic between remote quantum registers. Phys. Rev. A 87, 022306 (2013)","journal-title":"Phys. Rev. A"},{"key":"14_CR37","doi-asserted-by":"publisher","first-page":"032332","DOI":"10.1103\/PhysRevA.82.032332","volume":"82","author":"DA Herrera-Mart\u00ed","year":"2010","unstructured":"Herrera-Mart\u00ed, D.A., Fowler, A.G., Jennings, D., Rudolph, T.: Photonic implementation for the topological cluster-state quantum computer. Phys. Rev. A 82, 032332 (2010)","journal-title":"Phys. Rev. A"},{"key":"14_CR38","first-page":"031007","volume":"2","author":"NC Jones","year":"2012","unstructured":"Jones, N.C., Van Meter, R., Fowler, A.G., McMahon, P.L., Kim, J., Ladd, T.D., Yamamoto, Y.: Layered architecture for quantum computing. Phys. Rev. X 2, 031007 (2012)","journal-title":"Phys. Rev. X"},{"key":"14_CR39","doi-asserted-by":"publisher","first-page":"062318","DOI":"10.1103\/PhysRevA.85.062318","volume":"85","author":"M Ohliger","year":"2012","unstructured":"Ohliger, M., Eisert, J.: Efficient measurement-based quantum computing with continuous-variable systems. Phys. Rev. A 85, 062318 (2012)","journal-title":"Phys. Rev. A"},{"issue":"7","key":"14_CR40","doi-asserted-by":"publisher","first-page":"075001","DOI":"10.1088\/1367-2630\/15\/7\/075001","volume":"15","author":"DP DiVincenzo","year":"2013","unstructured":"DiVincenzo, D.P., Solgun, F.: Multi-qubit parity measurement in circuit quantum electrodynamics. New J. Phys. 15(7), 075001 (2013)","journal-title":"New J. Phys."},{"key":"14_CR41","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: International Joint Conference on Artificial Intelligence, pp. 386\u2013392 (2007)"},{"key":"14_CR42","unstructured":"Wille, R., Gro\u00dfe, D., Teuber, L., Dueck, G.W., Drechsler, R.: RevLib: an online resource for reversible functions and reversible circuits. In: International Symposium Multi-valued Logic, pp. 220\u2013225 (2008). RevLib is available at http:\/\/www.revlib.org"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40578-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T23:15:02Z","timestamp":1748992502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40578-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319405773","9783319405780"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40578-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"30 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}