Chun-Yu Wei, Yuan-Hung Tsai, Chiao-Shan Jhang, Jie-Hong R. Jiang. Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification. In Rob Oshana, editor, DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022. pages 523-528, ACM, 2022. [doi]
Abstract is missing.