TY  - RPRT
TI  - Equivalence checking of quantum circuits via intermediary matrix product operator
AU  - Aaron Sander
AU  - Lukas Burgholzer
AU  - Robert Wille
PY  - 2025
DO  - 10.1103/3q71-y8cf
UR  - https://arxiv.org/abs/2410.10946
ID  - 2410.10946
ER  -