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. 523-528 2022 DAC https://doi.org/10.1145/3489517.3530481 https://www.wikidata.org/entity/Q130916973 conf/dac/2022 db/conf/dac/dac2022.html#WeiTJJ22