Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
Mingyu Huang, J. Guan, Wang Fang, Mingsheng Ying
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems