TY  - RPRT
TI  - Assertion-Based Optimization of Quantum Programs
AU  - Thomas Häner
AU  - Torsten Hoefler
AU  - Matthias Troyer
PY  - 2020
DO  - 10.1145/3428201
UR  - https://arxiv.org/abs/1810.00375
ID  - 1810.00375
ER  -