Author:
Amy Matthew,Roetteler Martin,Svore Krysta M.
Publisher
Springer International Publishing
Reference33 articles.
1. Using the GNU Compiler Collection. Free Software Foundation, Inc. (2016). https://gcc.gnu.org/onlinedocs/gcc/
2. Amy, M., Maslov, D., Mosca, M., Roetteler, M.: A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(6), 818–830 (2013)
3. Amy, M., Roetteler, M., Svore, K.M.: Verified compilation of space-efficient reversible circuits. arXiv e-prints (2016). https://arxiv.org/abs/1603.01635
4. Lecture Notes in Computer Science;L Anticoli,2016
5. Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17, 525–532 (1973)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Qubit Recycling Revisited;Proceedings of the ACM on Programming Languages;2024-06-20
2. Synthetiq: Fast and Versatile Quantum Circuit Synthesis;Proceedings of the ACM on Programming Languages;2024-04-29
3. Reqomp: Space-constrained Uncomputation for Quantum Circuits;Quantum;2024-02-19
4. Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq;Journal of Circuits, Systems and Computers;2023-10-27
5. A Verified Optimizer for Quantum Circuits;ACM Transactions on Programming Languages and Systems;2023-09-23