@inproceedings{wei_tsai_jhang_jiang_2022, 
  title={Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification}, 
  DOI={10.1145/3489517.3530481}, 
  publisher={ACM}, 
  author={Wei, Chun-Yu and Tsai, Yuan-Hung and Jhang, Chiao-Shan and Jiang, Jie-Hong R.}, 
  year={2022}, 
  month={Jul}
  }