{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:41Z","timestamp":1760202641825},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642389856"},{"type":"electronic","value":"9783642389863"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38986-3_17","type":"book-chapter","created":{"date-parts":[[2013,6,29]],"date-time":"2013-06-29T00:54:03Z","timestamp":1372467243000},"page":"209-220","source":"Crossref","is-referenced-by-count":16,"title":["Exploiting Negative Control Lines in the Optimization of Reversible Circuits"],"prefix":"10.1007","author":[{"given":"Kamalika","family":"Datta","sequence":"first","affiliation":[]},{"given":"Gaurav","family":"Rathi","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[]},{"given":"Indranil","family":"Sengupta","sequence":"additional","affiliation":[]},{"given":"Hafizur","family":"Rahaman","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","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 computing process. Journal of IBM Research and Development\u00a05, 183\u2013191 (1961)","journal-title":"Journal of IBM Research and Development"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C.H. Bennett","year":"1973","unstructured":"Bennett, C.H.: Logical reversibility of computation. Journal of IBM Research and Development\u00a017, 525\u2013532 (1973)","journal-title":"Journal of IBM Research and Development"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Wille, R., Drechsler, R., Oswald, C., Garcia-Ortiz, A.: Automatic design of low-power encoders using reversible circuit synthesis. In: Design Automation Test in Europe, pp. 208\u2013212 (2012)","DOI":"10.1109\/DATE.2012.6176648"},{"key":"17_CR4","unstructured":"Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press (2000)"},{"issue":"4","key":"17_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 Tofolli networks. ACM Trans. on Design Automation of Electronic Systems\u00a012(4), 42.1\u201342.28 (2007)","journal-title":"ACM Trans. on Design Automation of Electronic Systems"},{"key":"17_CR6","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":"5","key":"17_CR7","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/TCAD.2009.2017215","volume":"28","author":"D. Grosse","year":"2009","unstructured":"Grosse, D., Wille, R., Dueck, G.W., Drechsler, R.: Exact multiple control Toffoli network synthesis with SAT techniques. IEEE Trans. on CAD of Integrated Circuits and Systems\u00a028(5), 703\u2013715 (2009)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Datta, K., Rathi, G., Sengupta, I., Rahaman, H.: Synthesis of reversible circuits using heuristic search method. In: Intl. Conference on VLSI Design, pp. 328\u2013333 (2012)","DOI":"10.1109\/VLSID.2012.92"},{"issue":"6","key":"17_CR9","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1109\/TCAD.2005.847911","volume":"24","author":"D. Maslov","year":"2005","unstructured":"Maslov, D., Dueck, G.W., Miller, D.M.: Toffoli network synthesis with templates. IEEE Trans. on CAD of Integrated Circuits and Systems\u00a024(6), 807\u2013817 (2005)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Dueck, G.W., Drechsler, R.: Window optimization of reversible and quantum circuits. In: Symposium on Design and Diagnostics of Electronic Circuits and Systems, pp. 341\u2013345 (2010)","DOI":"10.1109\/DDECS.2010.5491754"},{"key":"17_CR11","series-title":"LNCS","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., van Leeuwen, J. (eds.) Automata, Languages and Programming. LNCS, vol.\u00a085, pp. 632\u2013644. Springer, Heidelberg (1980)"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E. Fredkin","year":"1982","unstructured":"Fredkin, E., Toffoli, T.: Conservative logic. Inernational Journal of Theoretical Physics\u00a021, 219\u2013253 (1982)","journal-title":"Inernational Journal of Theoretical Physics"},{"issue":"5","key":"17_CR13","doi-asserted-by":"publisher","first-page":"3457","DOI":"10.1103\/PhysRevA.52.3457","volume":"52","author":"A. Barenco","year":"1995","unstructured":"Barenco, A., Bennett, H.H., Cleve, R., DiVinchenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Physical Review A (Atomic, Molecular, and Optical Physics)\u00a052(5), 3457\u20133467 (1995)","journal-title":"Physical Review A (Atomic, Molecular, and Optical Physics)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-29517-1_6","volume-title":"Reversible Computation","author":"M. Soeken","year":"2012","unstructured":"Soeken, M., Frehse, S., Wille, R., Drechsler, R.: RevKit: An open source toolkit for the design of reversible circuits. In: De Vos, A., Wille, R. (eds.) RC 2011. LNCS, vol.\u00a07165, pp. 64\u201376. Springer, Heidelberg (2012)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Michael Miller, D., Sasanian, Z.: Recent developments on mapping reversible circuits to quantum gate libraries. In: Int\u2019l Symposium on Electronic System Design, ISED (December 2012)","DOI":"10.1109\/ISED.2012.81"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Fazel, K., Thornton, M.A., Rice, J.E.: ESOP-based Toffoli gate cascade generation. In: Pacific Rim Conference on Communications, Computers and Signal Processing, pp. 206\u2013209 (2007)","DOI":"10.1109\/PACRIM.2007.4313212"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Sanaee, Y., Dueck, G.W.: ESOP-based Toffoli network generation with transformations. In: Intl. Symposium on Multiple-Valued Logic, pp. 276\u2013281 (2010)","DOI":"10.1109\/ISMVL.2010.58"},{"key":"17_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-20520-0_16","volume-title":"Applications of Evolutionary Computation","author":"R. Drechsler","year":"2011","unstructured":"Drechsler, R., Finder, A., Wille, R.: Improving ESOP-based synthesis of reversible logic using evolutionary algorithms. In: Di Chio, C., et al. (eds.) EvoApplications 2011, Part II. LNCS, vol.\u00a06625, pp. 151\u2013161. Springer, Heidelberg (2011)"},{"key":"17_CR19","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, pp. 85\u201392 (2012)","DOI":"10.1109\/ASPDAC.2012.6165069"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Wille, R., Soeken, M., Przigoda, N., Drechsler, R.: Exact synthesis of Toffoli gate circuits with negative control lines. In: Intl. Symposium on Multi-valued Logic (ISMVL), pp. 69\u201374 (2012)","DOI":"10.1109\/ISMVL.2012.71"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Datta, K., Sengupta, I., Rahaman, H.: Group theory based reversible logic synthesis. In: International Conference on Computers and Devices for Communication, CODEC (December 2012)","DOI":"10.1109\/CODEC.2012.6509346"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Wille, R., Grosse, D., Teuber, L., Dueck, G.W., Drechsler, R.: Revlib: An online resource for reversible functions and reversible circuits. In: Intl Symp. on Multi-Valued Logic, pp. 220\u2013225 (2008)","DOI":"10.1109\/ISMVL.2008.43"},{"key":"17_CR23","unstructured":"Moraga, C.: Hybrid Reed Muller \u2013 de Morgan expressions for reversible computing circuits. In: Workshop on Reversible Computing (RC), pp. 155\u2013162 (July 2011)"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Sasanian, Z., Wille, R., Miller, M.: Realizing reversible circuits using a new class of quantum gates. In: Design Automation Conference 2012, pp. 36\u201341 (2012)","DOI":"10.1145\/2228360.2228368"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38986-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T04:57:25Z","timestamp":1557896245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38986-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642389856","9783642389863"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38986-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}