Xin Hong, Yuan Feng 0001, Sanjiang Li, Mingsheng Ying. Equivalence Checking of Dynamic Quantum Circuits. In Tulika Mitra, Evangeline Young, Jinjun Xiong, editors, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022, San Diego, California, USA, 30 October 2022 - 3 November 2022. pages 127, ACM, 2022. [doi]
Abstract is missing.