TY  - RPRT
TI  - A Verified Optimizer for Quantum Circuits
AU  - Kesha Hietala
AU  - Robert Rand
AU  - Shih-Han Hung
AU  - Xiaodi Wu
AU  - Michael Hicks
PY  - 2020
DO  - 10.1145/3434318
UR  - https://arxiv.org/abs/1912.02250
ID  - 1912.02250
ER  -