Xin Hong, Mingsheng Ying, Yuan Feng 0001, XiangZhen Zhou, Sanjiang Li. Approximate Equivalence Checking of Noisy Quantum Circuits. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 637-642, IEEE, 2021. [doi]
Abstract is missing.