{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T11:31:41Z","timestamp":1761823901624,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319599359"},{"type":"electronic","value":"9783319599366"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59936-6_17","type":"book-chapter","created":{"date-parts":[[2017,5,24]],"date-time":"2017-05-24T15:12:32Z","timestamp":1495638752000},"page":"214-231","source":"Crossref","is-referenced-by-count":9,"title":["Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Niemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alwin","family":"Zulehner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,25]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Athas, W., Svensson, L.: Reversible logic issues in adiabatic CMOS. In: Proceedings of the Workshop on Physics and Computation, PhysComp 1994, pp. 111\u2013118 (1994)","DOI":"10.1109\/PHYCMP.1994.363692"},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1038\/nature10872","volume":"483","author":"A Berut","year":"2012","unstructured":"Berut, A., Arakelyan, A., Petrosyan, A., Ciliberto, S., Dillenschneider, R., Lutz, E.: Experimental verification of Landauer\u2019s principle linking information and thermodynamics. Nature 483, 187\u2013189 (2012)","journal-title":"Nature"},{"issue":"8","key":"17_CR3","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"17_CR4","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"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Houri, S., Valentian, A., Fanet, H.: Comparing CMOS-based and NEMS-based adiabatic logic circuits. In: Conference on Reversible Computation, pp. 36\u201345 (2013)","DOI":"10.1007\/978-3-642-38986-3_4"},{"issue":"1","key":"17_CR6","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1088\/0957-4484\/4\/1\/002","volume":"4","author":"RC Merkle","year":"1993","unstructured":"Merkle, R.C.: Reversible electronic logic using switches. Nanotechnology 4(1), 21 (1993)","journal-title":"Nanotechnology"},{"key":"17_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511813870","volume-title":"Quantum Computer Science: An Introduction","author":"ND Mermin","year":"2007","unstructured":"Mermin, N.D.: Quantum Computer Science: An Introduction. Cambridge University Press, New York (2007)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Miller, D.M., Thornton, M.A.: QMDD: a decision diagram structure for reversible and quantum circuits. In: International Symposium on Multi-Valued Logic, p. 6 (2006)","DOI":"10.1109\/ISMVL.2006.35"},{"key":"17_CR9","volume-title":"Quantum Computation and Quantum Information","author":"M Nielsen","year":"2000","unstructured":"Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press, New York (2000)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Niemann, P., Wille, R., Drechsler, R.: On the \u201cQ\u201d in QMDDs: efficient representation of quantum functionality in the QMDD data-structure. In: Conference on Reversible Computation, pp. 125\u2013140 (2013)","DOI":"10.1007\/978-3-642-38986-3_11"},{"key":"17_CR11","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"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Niemann, P., Wille, R., Drechsler, R.: Equivalence checking in multi-level quantum systems. In: Conference on Reversible Computation, pp. 201\u2013215 (2014)","DOI":"10.1007\/978-3-319-08494-7_16"},{"issue":"1","key":"17_CR13","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1109\/TCAD.2015.2459034","volume":"35","author":"P Niemann","year":"2016","unstructured":"Niemann, P., Wille, R., Miller, D.M., Thornton, M.A., Drechsler, R.: QMDDs: efficient quantum function representation and manipulation. IEEE Trans. CAD 35(1), 86\u201399 (2016)","journal-title":"IEEE Trans. CAD"},{"issue":"3","key":"17_CR14","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1109\/TASC.2009.2018250","volume":"19","author":"J Ren","year":"2009","unstructured":"Ren, J., Semenov, V., Polyakov, Y., Averin, D., Tsai, J.S.: Progress towards reversible computing with nSQUID arrays. IEEE Trans. Appl. Supercond. 19(3), 961\u2013967 (2009)","journal-title":"IEEE Trans. Appl. Supercond."},{"key":"17_CR15","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":"17_CR16","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":"17_CR17","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Keszocze, O., Miller, D.M., Drechsler, R.: Embedding of large Boolean functions for reversible logic. J. Emerg. Technol. Comput. Syst. 12(4), 41:1\u201341:26 (2015)","DOI":"10.1145\/2786982"},{"issue":"2","key":"17_CR18","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s100090100042","volume":"3","author":"F Somenzi","year":"2001","unstructured":"Somenzi, F.: Efficient manipulation of decision diagrams. Softw. Tools Technol. Transf. 3(2), 171\u2013181 (2001)","journal-title":"Softw. Tools Technol. Transf."},{"key":"17_CR19","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 on Multi-Valued Logic, pp. 220\u2013225 (2008). RevLib is available at http:\/\/www.revlib.org"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Zulehner, A., Wille, R.: Make it reversible: efficient embedding of non-reversible functions. In: Design, Automation and Test in Europe, pp. 458\u2013463 (2017)","DOI":"10.23919\/DATE.2017.7927033"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59936-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,8]],"date-time":"2020-10-08T11:47:17Z","timestamp":1602157637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59936-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319599359","9783319599366"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59936-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}