{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:08:36Z","timestamp":1725674916252},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642363146"},{"type":"electronic","value":"9783642363153"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36315-3_16","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:35:15Z","timestamp":1358210115000},"page":"197-203","source":"Crossref","is-referenced-by-count":1,"title":["Using \u03c0DDs in the Design of Reversible Circuits"],"prefix":"10.1007","author":[{"given":"Mathias","family":"Soeken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-ichi","family":"Minato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Wille, R., Le, H.M., Dueck, G.W., Gro\u00dfe, D.: Quantified Synthesis of Reversible Logic. In: Design, Automation and Test in Europe, pp. 1015\u20131020. IEEE (March 2008)","DOI":"10.1109\/DATE.2008.4484814"},{"key":"16_CR2","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. ACM (July 2009)","DOI":"10.1145\/1629911.1629984"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Kerntopf, P.: A New Heuristic Algorithm for Reversible Logic Synthesis. In: Design Automation Conference, pp. 834\u2013837 (June 2004)","DOI":"10.1145\/996566.996789"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Drechsler, R.: Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition. In: Int\u2019l Design and Test Workshop, pp. 143\u2013148 (December 2010)","DOI":"10.1109\/IDT.2010.5724427"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Miller, D.M., Thornton, M.A.: QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits. In: Int\u2019l Symp. on Multiple-Valued Logic, p. 30. IEEE Computer Society (May 2006)","DOI":"10.1109\/ISMVL.2006.35"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Wille, R., Gro\u00dfe, D., Miller, D.M., Drechsler, R.: Equivalence Checking of Reversible Circuits. In: Int\u2019l Symp. on Multiple-Valued Logic, pp. 324\u2013330. IEEE Computer Society (May 2009)","DOI":"10.1109\/ISMVL.2009.19"},{"key":"16_CR7","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: Asia and South Pacific Design Automation Conference (January 2012)","DOI":"10.1109\/ASPDAC.2012.6165069"},{"key":"16_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3065-8","volume-title":"Quantum Circuit Simulation","author":"G.F. Viamontes","year":"2009","unstructured":"Viamontes, G.F., Markov, I.L., Hayes, J.P.: Quantum Circuit Simulation. Springer, Heidelberg (2009)"},{"issue":"2","key":"16_CR9","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1093\/ietfec\/e91-a.2.584","volume":"91-A","author":"S.A. Wang","year":"2008","unstructured":"Wang, S.A., Lu, C.Y., Tsai, I.M., Kuo, S.Y.: An XQDD-based verification method for quantum circuits. IEICE Transactions\u00a091-A(2), 584\u2013594 (2008)","journal-title":"IEICE Transactions"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-21581-0_9","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2011","author":"S.-I. Minato","year":"2011","unstructured":"Minato, S.-I.: \u03c0DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space. In: Sakallah, K.A., Simon, L. (eds.) SAT 2011. LNCS, vol.\u00a06695, pp. 90\u2013104. Springer, Heidelberg (2011)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/3-540-10003-2_104","volume-title":"Automata, Languages and Programming","author":"T. Toffoli","year":"1980","unstructured":"Toffoli, T.: Reversible Computing. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 632\u2013644. Springer, Heidelberg (1980)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Minato, S.: Zero-Supressed BDDs for Set Manipulation in Combinational Problems. In: Design Automation Conference, pp. 272\u2013277 (June 1993)","DOI":"10.1145\/157485.164890"},{"issue":"5","key":"16_CR13","doi-asserted-by":"crossref","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. on CAD\u00a028(5), 703\u2013715 (2009)","journal-title":"IEEE Trans. on CAD"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36315-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:36:22Z","timestamp":1620135382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36315-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642363146","9783642363153"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36315-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}