@misc{indiciae5aeec271c873,
  title = {Quartz: Superoptimization of Quantum Circuits (Extended Version)},
  author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
  year = {2022},
  url = {https://arxiv.org/abs/2204.09033},
  note = {Source identifier: 2204.09033}
}