TY  - RPRT
TI  - Equivalence checking of quantum circuits by nonlocality
AU  - Weixiao Sun
AU  - Zhaohui Wei
PY  - 2022
UR  - https://arxiv.org/abs/2105.02634
ID  - 2105.02634
ER  -