Quantum Circuits

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
引用 DOI
Equivalence Checking of Sequential Quantum Circuits
Qisheng Wang, Riling Li, Mingsheng Ying
引用 DOI