共 50 条
- [31] A Verified Optimizer for Quantum Circuits ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2023, 45 (03):
- [32] A Verified Optimizer for Quantum Circuits PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (POPL):
- [33] Quartz: Superoptimization of Quantum Circuits PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 625 - 640
- [34] Quantum Circuits for the Preparation of Spin Eigenfunctions on Quantum Computers SYMMETRY-BASEL, 2022, 14 (03):
- [35] Learning Unitary Transformation by Quantum Machine Learning Model CMC-COMPUTERS MATERIALS & CONTINUA, 2021, 68 (01): : 789 - 803
- [38] Prioritization of Compiled Quantum Circuits for Different Quantum Computers 2022 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2022), 2022, : 1258 - 1265
- [39] Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation TWENTY-FIFTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS XXV), 2020, : 1017 - 1030