TY  - RPRT
TI  - Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems
AU  - Prakash Murali
AU  - Ali Javadi-Abhari
AU  - Frederic T. Chong
AU  - Margaret Martonosi
PY  - 2019
DO  - 10.1016/j.micpro.2019.02.005
UR  - https://arxiv.org/abs/1903.03276
ID  - 1903.03276
ER  -