@misc{indiciae839111430c42,
  title = {Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation},
  author = {Giulia Meuli and Mathias Soeken and Martin Roetteler and Thomas Häner},
  year = {2021},
  doi = {10.1145/3428198},
  url = {https://arxiv.org/abs/2003.08408},
  note = {Source identifier: 2003.08408}
}