Symbolic Execution of Hadamard-Toffoli Quantum Circuits-Reference-Cited by-同舟云学术

Symbolic Execution of Hadamard-Toffoli Quantum Circuits

Published:2023-01-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
language:
Short-container-title:

Author:

Carette Jacques¹,Ortiz Gerardo²,Sabry Amr²

Affiliation:

1. McMaster University, Canada

2. Indiana University, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3571786.3573018

Reference43 articles.

1. Alastair A. Abbott . 2012. The Deutsch-Jozsa problem: de-quantization and entanglement. Natural Computing, 11 ( 2012 ). Alastair A. Abbott. 2012. The Deutsch-Jozsa problem: de-quantization and entanglement. Natural Computing, 11 (2012).

2. D. Aharonov. 2003. A simple proof that Toffoli and Hadamard are qauntum universal. arXiv:quant-ph/0301040. D. Aharonov. 2003. A simple proof that Toffoli and Hadamard are qauntum universal. arXiv:quant-ph/0301040.

3. The Two-State Vector Formalism: An Updated Review

4. Towards Large-scale Functional Verification of Universal Quantum Circuits

5. Matthew Amy , Martin Roetteler , and Krysta M . Svore . 2017 . Verified Compilation of Space-Efficient Reversible Circuits. In Computer Aided Verification, Rupak Majumdar and Viktor Kunčak (Eds.). Springer International Publishing , Cham. 3–21. isbn:978-3-319-63390-9 Matthew Amy, Martin Roetteler, and Krysta M. Svore. 2017. Verified Compilation of Space-Efficient Reversible Circuits. In Computer Aided Verification, Rupak Majumdar and Viktor Kunčak (Eds.). Springer International Publishing, Cham. 3–21. isbn:978-3-319-63390-9

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Symbolic Execution for Quantum Error Correction Programs;Proceedings of the ACM on Programming Languages;2024-06-20

2. Partial Evaluation of Reversible Flowchart Programs;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11

3. Efficient Implementation of LIMDDs for Quantum Circuit Simulation;Model Checking Software;2023