@misc{indiciae9c40cca7a222,
  title = {Decision Diagrams for Symbolic Verification of Quantum Circuits},
  author = {Xin Hong and Wei-Jia Huang and Wei-Chen Chien and Yuan Feng and Min-Hsiu Hsieh and Sanjiang Li and Chia-Shun Yeh and Mingsheng Ying},
  year = {2023},
  url = {https://arxiv.org/abs/2308.00440},
  note = {Source identifier: 2308.00440}
}