{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T02:31:19Z","timestamp":1781836279982,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T00:00:00Z","timestamp":1719100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"The Research Grants Council of Hong Kong SAR","award":["CUHK14207523"],"award-info":[{"award-number":["CUHK14207523"]}]},{"name":"European Union?s Horizon 2020 research and innovation programme","award":["101001318"],"award-info":[{"award-number":["101001318"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,23]]},"DOI":"10.1145\/3649329.3655950","type":"proceedings-article","created":{"date-parts":[[2024,11,7]],"date-time":"2024-11-07T19:27:22Z","timestamp":1731007642000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["RCGP: An Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits based on Efficient Cartesian Genetic Programming"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3744-2083","authenticated-orcid":false,"given":"Rongliang","family":"Fu","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"School of Computation, Information and Technology, Technical University of Munich, Munich, Bavaria, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7348-5625","authenticated-orcid":false,"given":"Tsung-Yi","family":"Ho","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, New Territories, Hong Kong Special Administrative Region of China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.53.0183"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1972505"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287673"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1038\/srep06354"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-017-00089-9"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6668\/aaf8c9"},{"key":"e_1_3_2_1_8_1","first-page":"5","article-title":"Recent progress on reversible quantum-flux-parametron for superconductor reversible computing","volume":"101","author":"Takeuchi N.","year":"2018","unstructured":"N. Takeuchi, Y. Yamanashi, and N. Yoshikawa, \"Recent progress on reversible quantum-flux-parametron for superconductor reversible computing,\" IEICE Transactions on Electronics, vol. E101.C, no. 5, pp. 352--358, 2018.","journal-title":"IEICE Transactions on Electronics"},{"key":"e_1_3_2_1_9_1","first-page":"6","article-title":"Adiabatic quantum-flux-parametron: A tutorial review","volume":"105","author":"Takeuchi N.","year":"2022","unstructured":"N. Takeuchi, T. Yamae, C. L. Ayala, H. Suzuki, and N. Yoshikawa, \"Adiabatic quantum-flux-parametron: A tutorial review,\" IEICE Transactions on Electronics, vol. E105.C, no. 6, pp. 251--263, 2022.","journal-title":"IEICE Transactions on Electronics"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1088\/0953-2048\/26\/3\/035010"},{"key":"e_1_3_2_1_11_1","first-page":"632","article-title":"Reversible computing,\" in Automata","volume":"85","author":"Toffoli T.","year":"1980","unstructured":"T. Toffoli, \"Reversible computing,\" in Automata, Languages and Programming, vol. 85, pp. 632--644, 1980.","journal-title":"Languages and Programming"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01857727"},{"key":"e_1_3_2_1_13_1","first-page":"445","volume-title":"DAC","author":"Lee S.-Y.","year":"2022","unstructured":"S.-Y. Lee, H. Riener, and G. De Micheli, \"Beyond local optimality of buffer and splitter insertion for AQFP circuits,\" in Proc. DAC, pp. 445--450, 2022."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3566097.3567936"},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"ICCAD","author":"Fu R.","year":"2023","unstructured":"R. Fu, O. Chen, N. Yoshikawa, and T.-Y. Ho, \"Exact logic synthesis for reversible quantum-flux-parametron logic,\" in Proc. ICCAD, pp. 1--9, 2023."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2008.43"},{"key":"e_1_3_2_1_17_1","first-page":"470","volume-title":"DATE","author":"Soeken M.","year":"2017","unstructured":"M. Soeken, M. Roetteler, N. Wiebe, and G. De Micheli, \"Design automation and design space exploration for quantum computers,\" in Proc. DATE, pp. 470--475, 2017."},{"key":"e_1_3_2_1_18_1","first-page":"121","volume-title":"Cartesian genetic programming,\" in Genetic Programming","author":"Miller J. F.","year":"2000","unstructured":"J. F. Miller and P. Thomson, \"Cartesian genetic programming,\" in Genetic Programming, pp. 121--132, 2000."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-019-09360-6"},{"key":"e_1_3_2_1_20_1","volume-title":"Recent developments in cartesian genetic programming and its variants,\" ACM Comput. Surv","author":"Manazir A.","unstructured":"A. Manazir and K. Raza, \"Recent developments in cartesian genetic programming and its variants,\" ACM Comput. Surv., vol. 51, no. 6, 2019."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-011-9132-7"},{"key":"e_1_3_2_1_22_1","first-page":"133","volume-title":"ICES","author":"Vasicek Z.","year":"2014","unstructured":"Z. Vasicek and L. Sekanina, \"How to evolve complex combinational circuits from scratch?,\" in Proc. ICES, pp. 133--140, 2014."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Z. Vasicek \"Cartesian GP in optimization of combinational circuits with hundreds of inputs and thousands of gates \" in Genetic Programming pp. 139--150 2015.","DOI":"10.1007\/978-3-319-16501-1_12"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-020-09376-3"},{"key":"e_1_3_2_1_25_1","first-page":"24","volume-title":"ABC: An academic industrial-strength verification tool,\" in Computer Aided Verification","author":"Brayton R.","year":"2010","unstructured":"R. Brayton and A. Mishchenko, \"ABC: An academic industrial-strength verification tool,\" in Computer Aided Verification, pp. 24--40, 2010."},{"key":"e_1_3_2_1_26_1","volume-title":"Dewmini Sudara De Micheli, \"The EPFL logic synthesis libraries","author":"Soeken M.","year":"2022","unstructured":"M. Soeken, H. Riener, W. Haaswijk, E. Testa, B. Schmitt, G. Meuli, F. Mozafari, S.-Y. Lee, A. Tempia Calvino, and G. Marakkalage, Dewmini Sudara De Micheli, \"The EPFL logic synthesis libraries,\" 2022. arXiv:1805.05121v3."},{"key":"e_1_3_2_1_27_1","first-page":"34","volume-title":"DATE","author":"Meuli G.","year":"2022","unstructured":"G. Meuli, V. Possani, R. Singh, S.-Y. Lee, A. T. Calvino, D. S. Marakkalage, P. Vuillod, L. Amaru, S. Chase, J. Kawa, and G. De Micheli, \"Majority-based design flow for AQFP superconducting family,\" in Proc. DATE, pp. 34--39, 2022."}],"event":{"name":"DAC '24: 61st ACM\/IEEE Design Automation Conference","location":"San Francisco CA USA","acronym":"DAC '24","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 61st ACM\/IEEE Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649329.3655950","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649329.3655950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:54Z","timestamp":1750295874000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649329.3655950"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,23]]},"references-count":27,"alternative-id":["10.1145\/3649329.3655950","10.1145\/3649329"],"URL":"https:\/\/doi.org\/10.1145\/3649329.3655950","relation":{},"subject":[],"published":{"date-parts":[[2024,6,23]]},"assertion":[{"value":"2024-11-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}