| [1] | Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, and Mingsheng Ying. A tensor network based decision diagram for representation of quantum circuits. ACM Trans. Des. Autom. Electron. Syst., 27(6), jun 2022. [ DOI | http ] |
| [2] | Qisheng Wang, Riling Li, and Mingsheng Ying. Equivalence checking of sequential quantum circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, pages 1–1, 2021. [ DOI ] |
| [3] | Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, and Sanjiang Li. Approximate equivalence checking of noisy quantum circuits. In 58th ACM/IEEE Design Automation Conference, DAC 2021, pages 637–642. IEEE, 2021. [ DOI | http ] |
This file was generated by bibtex2html 1.99.