Approximate Equivalence Checking of Noisy Quantum Circuits.

Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li

Browse the full DAC paper archive.