Decision Diagrams for Symbolic Verification of Quantum Circuits

Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying
一月 2023
引用 DOI
类型
会议文章
出版物
2023 IEEE International Conference on Quantum Computing and Engineering (QCE)
Tensors Systematics Quantum Algorithm Fourier Transforms Error Correction Codes Data Mining Object Recognition Decision Diagram Symbolic Verification Quantum Circuits
冯元
冯元
教授
应明生
应明生
教授