{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T19:34:35Z","timestamp":1725824075460},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319208596"},{"type":"electronic","value":"9783319208602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20860-2_12","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T08:15:57Z","timestamp":1434701757000},"page":"186-199","source":"Crossref","is-referenced-by-count":0,"title":["Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits"],"prefix":"10.1007","author":[{"given":"Yuma","family":"Inoue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-ichi","family":"Minato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"issue":"7388","key":"12_CR1","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1038\/nature10872","volume":"483","author":"A B\u00e9rut","year":"2012","unstructured":"B\u00e9rut, A., Arakelyan, A., Petrosyan, A., Ciliberto, S., Dillenschneider, R., Lutz, E.: Experimental verification of Landauer\u2019s principle linking information and thermodynamics. Nature 483(7388), 187\u2013189 (2012)","journal-title":"Nature"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-319-08494-7_8","volume-title":"Reversible Computation","author":"A Chattopadhyay","year":"2014","unstructured":"Chattopadhyay, A., Majumder, S., Chandak, C., Chowdhury, N.: Constructive reversible logic synthesis for boolean functions with special properties. In: Yamashita, S., Minato, S. (eds.) RC 2014. LNCS, vol. 8507, pp. 95\u2013110. Springer, Heidelberg (2014)"},{"issue":"7","key":"12_CR3","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1364\/OL.12.000542","volume":"12","author":"R Cuykendall","year":"1987","unstructured":"Cuykendall, R., Andersen, D.R.: Reversible optical computing circuits. Optics Letters 12(7), 542\u2013544 (1987)","journal-title":"Optics Letters"},{"issue":"1","key":"12_CR4","first-page":"2","volume":"4","author":"J Donald","year":"2008","unstructured":"Donald, J., Jha, N.K.: Reversible logic synthesis with Fredkin and Peres gates. ACM Journal on Emerging Technologies in Computing Systems (JETC) 4(1), 2 (2008)","journal-title":"ACM Journal on Emerging Technologies in Computing Systems (JETC)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Fredkin, E., Toffoli, T.: Conservative logic. International Journal of Theoretical Physics 219\u2013253 (1982)","DOI":"10.1007\/BF01857727"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Frehse, S., Wille, R., Drechsler, R.: Efficient simulation-based debugging of reversible logic. In: the 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL), pp. 156\u2013161 (2010)","DOI":"10.1109\/ISMVL.2010.37"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Jung, J.C., Frehse, S., Wille, R., Drechsler, R.: Enhancing debugging of multiple missing control errors in reversible logic. In: the 20th symposium on Great Lakes symposium on VLSI (GLVLSI), pp. 465\u2013470. ACM (2010)","DOI":"10.1145\/1785481.1785588"},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R Landauer","year":"1961","unstructured":"Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development 5(3), 183\u2013191 (1961)","journal-title":"IBM Journal of Research and Development"},{"issue":"4","key":"12_CR9","doi-asserted-by":"publisher","first-page":"42","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 Transactions on Design Automation of Electronic Systems (TODAES) 12(4), 42 (2007)","journal-title":"ACM Transactions on Design Automation of Electronic Systems (TODAES)"},{"key":"12_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 Minato","year":"2011","unstructured":"Minato, S.: \n                      \n                        \n                      \n                      $$\\pi $$\n                      \n                        \n                          \u03c0\n                        \n                      \n                    DD: a new decision diagram for efficient problem solving in permutation space. In: Sakallah, K.A., Simon, L. (eds.) SAT 2011. LNCS, vol. 6695, pp. 90\u2013104. Springer, Heidelberg (2011)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press (2010)","DOI":"10.1017\/CBO9780511976667"},{"issue":"6","key":"12_CR12","doi-asserted-by":"publisher","first-page":"3266","DOI":"10.1103\/PhysRevA.32.3266","volume":"32","author":"A Peres","year":"1985","unstructured":"Peres, A.: Reversible logic and quantum computers. Physical Review A 32(6), 3266 (1985)","journal-title":"Physical Review A"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-3-319-08494-7_10","volume-title":"Reversible Computation","author":"MZ Rahman","year":"2014","unstructured":"Rahman, M.Z., Rice, J.E.: Templates for positive and negative control toffoli networks. In: Yamashita, S., Minato, S. (eds.) RC 2014. LNCS, vol. 8507, pp. 125\u2013136. Springer, Heidelberg (2014)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Tague, L., Soeken, M., Minato, S., Drechsler, R.: Debugging of reversible circuits using \n                      \n                        \n                      \n                      $$\\pi $$\n                      \n                        \n                          \u03c0\n                        \n                      \n                    DDs. In: the 43rd IEEE International Symposium on Multiple-Valued Logic (ISMVL), pp. 316\u2013321. IEEE (2013)","DOI":"10.1109\/ISMVL.2013.22"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Toffoli, T.: Reversible Computing. Springer (1980)","DOI":"10.21236\/ADA082021"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Wille, R., Gro\u00dfe, D., Dueck, G.W., Drechsler, R.: Reversible logic synthesis with output permutation. In: the 22nd International Conference on VLSI Design, pp. 189\u2013194. IEEE (2009)","DOI":"10.1109\/VLSI.Design.2009.40"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Wille, R., Gro\u00dfe, D., Frehse, S., Dueck, G.W., Drechsler, R.: Debugging of Toffoli networks. In: The Conference on Design. Automation and Test in Europe (DATE), pp. 1284\u20131289. European Design and Automation Association, IEEE (2009)","DOI":"10.1109\/DATE.2009.5090863"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20860-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:54:55Z","timestamp":1559199295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-20860-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319208596","9783319208602"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20860-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}