Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits - Huang, M.; Guan, J.; Fang, W.; Ying, M. (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., 2026)