Reqomp: Uncomputation dengan Batasan Ruang untuk Sirkuit Kuantum

[1] Anouk Paradis, Benjamin Bichsel, Samuel Steffen, dan Martin Vechev. “Unqomp: mensintesis uncomputation di sirkuit Quantum”. Dalam Prosiding Konferensi Internasional ACM SIGPLAN ke-42 tentang Desain dan Implementasi Bahasa Pemrograman. Halaman 222–236. Asosiasi Mesin Komputasi, New York, NY, AS (2021).
https: / / doi.org/ 10.1145 / 3453483.3454040

[2] Yongshan Ding, Xin-Chuan Wu, Adam Holmes, Ash Wiseth, Diana Franklin, Margaret Martonosi, dan Frederic T. Chong. “Persegi: Penggunaan kembali kuantum strategis untuk program kuantum modular melalui penghitungan yang hemat biaya”. Pada Simposium Internasional Tahunan ke-2020 ACM/​IEEE tentang Arsitektur Komputer (ISCA) tahun 47. Halaman 570–583. IEEE (2020).
https://​/​doi.org/​10.1109/​ISCA45697.2020.00054

[3] Benjamin Bichsel, Maximilian Baader, Timon Gehr, dan Martin Vechev. “Silq: Bahasa Kuantum Tingkat Tinggi dengan Unkomputasi Aman dan Semantik Intuitif”. Dalam Prosiding Konferensi ACM SIGPLAN ke-41 tentang Desain dan Implementasi Bahasa Pemrograman. Halaman 286–300. PLDI 2020New York, NY, AS (2020). Asosiasi Mesin Komputasi.
https: / / doi.org/ 10.1145 / 3385412.3386007

[4] Robert Rand, Jennifer Paykin, Dong-Ho Lee, dan Steve Zdancewic. “ReQWIRE: Penalaran tentang Sirkuit Kuantum Reversibel”. Prosiding Elektronik dalam Ilmu Komputer Teoritis 287, 299–312 (2019).
https: / / doi.org/ 10.4204 / EPTCS.287.17

[5] Emanuel Knill. “Analisis permainan kerikil Bennett”. Laporan Teknis arXiv:math/​9508218. arXiv (1995).
https://​/​doi.org/​10.48550/​arXiv.math/​9508218
arXiv: math / 9508218

[6] Siu Man Chan, Massimo Lauria, Jakob Nordstrom, dan Marc Vinyals. “Kekerasan pendekatan dalam pspace dan hasil pemisahan untuk permainan kerikil”. Pada Simposium Tahunan ke-2015 IEEE 56 tentang Fondasi Ilmu Komputer. Halaman 466–485. (2015).
https: / / doi.org/ 10.1109 / focs.2015.36

[7] Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, dan Benoît Valiron. “Quipper: Bahasa pemrograman kuantum yang dapat diskalakan”. Dalam Prosiding Konferensi ACM SIGPLAN ke-34 tentang Desain dan Implementasi Bahasa Pemrograman. Halaman 333–342. PLDI '13New York, NY, AS (2013). Asosiasi Mesin Komputasi.
https: / / doi.org/ 10.1145 / 2491956.2462177

[8] Alex Parent, Martin Roetteler, dan Krysta M. Svore. “Kompilasi sirkuit yang dapat dibalik dengan batasan ruang”. Laporan Teknis arXiv:1510.00377. arXiv (2015).
https://​/​doi.org/​10.48550/​arXiv.1510.00377
arXiv: 1510.00377

[9] Alex Parent, Martin Roetteler, dan Krysta M. Svore. “REVS: Alat untuk Sintesis Sirkuit Reversibel dengan Ruang yang Dioptimalkan”. Dalam Iain Phillips dan Hafizur Rahaman, editor, Komputasi Reversibel. Halaman 90–101. Catatan Kuliah di Ilmu KomputerCham (2017). Penerbitan Internasional Springer.
https:/​/​doi.org/​10.1007/​978-3-319-59936-6_7

[10] Debjyoti Bhattacharjee, Mathias Soeken, Srijit Dutta, Anupam Chattopadhyay, dan Giovanni De Micheli. “Permainan Kerikil Reversibel untuk Mengurangi Qubit dalam Sintesis Sirkuit Kuantum Hierarki”. Pada Simposium Internasional IEEE ke-2019 tentang Logika Bernilai Ganda (ISMVL) tahun 49. Halaman 102–107. (2019).
https://​/​doi.org/​10.1109/​ISMVL.2019.00026

[11] Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjorner, dan Giovanni De Micheli. “Permainan kerikil yang dapat dibalik untuk manajemen memori kuantum”. Pada Konferensi & Pameran Desain, Otomasi & Pengujian di Eropa (DATE) 2019. Halaman 288–291. IEEE (2019).
https://​/​doi.org/​10.23919/​date.2019.8715092

[12] Charles H.Bennet. “Pengorbanan Waktu/Ruang untuk Perhitungan yang Dapat Dibalik”. Jurnal SIAM tentang Komputasi 18, 766–776 (1989).
https: / / doi.org/ 10.1137 / 0218053

[13] Krysta Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, dan Martin Roetteler. “T#: Mengaktifkan komputasi dan pengembangan kuantum yang skalabel dengan dsl tingkat tinggi”. Dalam Prosiding Lokakarya Bahasa Tertentu Domain Dunia Nyata 2018. RWDSL2018New York, NY, USA (2018). Asosiasi Mesin Komputasi.
https: / / doi.org/ 10.1145 / 3183895.3183901

[14] Matthew Amy, Martin Roetteler, dan Krysta M. Svore. “Kompilasi Terverifikasi Sirkuit Reversibel Hemat Ruang”. Di Rupak Majumdar dan Viktor Kunčak, editor, Verifikasi Berbantuan Komputer. Jilid 10427, halaman 3–21. Penerbitan Internasional Springer, Cham (2017).
https:/​/​doi.org/​10.1007/​978-3-319-63390-9_1