TY  - RPRT
TI  - QuBEC: Boosting Equivalence Checking for Quantum Circuits with QEC Embedding
AU  - Chao Lu
AU  - Navnil Choudhury
AU  - Utsav Banerjee
AU  - Abdullah Ash Saki
AU  - Kanad Basu
PY  - 2023
UR  - https://arxiv.org/abs/2309.10728
ID  - 2309.10728
ER  -