@misc{indiciae75c74e6ab9ed,
  title = {Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems},
  author = {Prakash Murali and Ali Javadi-Abhari and Frederic T. Chong and Margaret Martonosi},
  year = {2019},
  doi = {10.1016/j.micpro.2019.02.005},
  url = {https://arxiv.org/abs/1903.03276},
  note = {Source identifier: 1903.03276}
}