Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
暂无分享,去创建一个
[1] Dmitri Maslov,et al. On the advantages of using relative phase Toffolis with an application to multiple control Toffoli optimization , 2015, ArXiv.
[2] Kaitlin N. Smith,et al. A Quantum Computational Compiler and Design Tool for Technology-Specific Targets , 2019, 2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA).
[3] Gushu Li,et al. Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices , 2018, ASPLOS.
[4] Frederic T. Chong,et al. Contract-based verification of a realistic quantum compiler , 2019, ArXiv.
[5] Margaret Martonosi,et al. Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers , 2019, ASPLOS.
[6] Lov K. Grover. A fast quantum mechanical algorithm for database search , 1996, STOC '96.
[7] Matthew Amy,et al. staq -- A full-stack quantum processing toolkit , 2019 .
[8] Robert Wille,et al. Improving the mapping of reversible circuits to quantum circuits using multiple target lines , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).
[9] Shigeru Yamashita,et al. Reducing the Overhead of Mapping Quantum Circuits to IBM Q System , 2019, 2019 IEEE International Symposium on Circuits and Systems (ISCAS).
[10] Robert Wille,et al. Advanced Equivalence Checking for Quantum Circuits , 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[11] Isaac L. Chuang,et al. Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .
[12] Fernando Magno Quintão Pereira,et al. Qubit allocation , 2018, CGO.
[13] Pawel Wocjan,et al. "NON-IDENTITY-CHECK" IS QMA-COMPLETE , 2005 .
[14] John P. Hayes,et al. Checking equivalence of quantum circuits and states , 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.
[15] Igor L. Markov,et al. Fast equivalence-checking for quantum circuits , 2009, 2010 IEEE/ACM International Symposium on Nanoscale Architectures.
[16] Robert Wille,et al. Equivalence Checking in Multi-level Quantum Systems , 2014, RC.
[17] Sy-Yen Kuo,et al. An XQDD-Based Verification Method for Quantum Circuits , 2008, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..
[18] Robert Wille,et al. How to Efficiently Handle Complex Values?: Implementing Decision Diagrams for Quantum Computing , 2019, 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[19] G. Vidal,et al. Universal quantum circuit for two-qubit transformations with three controlled-NOT gates , 2003, quant-ph/0307177.
[20] I. Chuang,et al. Quantum Computation and Quantum Information: Bibliography , 2010 .
[21] Robert Wille,et al. Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations , 2019, 2019 56th ACM/IEEE Design Automation Conference (DAC).
[22] Robert Wille,et al. QMDDs: Efficient Quantum Function Representation and Manipulation , 2016, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[23] Barenco,et al. Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.
[24] Shih-Han Hung,et al. A verified optimizer for Quantum circuits , 2019, Proc. ACM Program. Lang..
[25] Robert Wille,et al. An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[26] Raymond H. Putra,et al. Optimization of Quantum Circuit Mapping using Gate Transformation and Commutation , 2019, Integr..