TY  - RPRT
TI  - Decision Diagrams for Symbolic Verification of Quantum Circuits
AU  - Xin Hong
AU  - Wei-Jia Huang
AU  - Wei-Chen Chien
AU  - Yuan Feng
AU  - Min-Hsiu Hsieh
AU  - Sanjiang Li
AU  - Chia-Shun Yeh
AU  - Mingsheng Ying
PY  - 2023
UR  - https://arxiv.org/abs/2308.00440
ID  - 2308.00440
ER  -