@misc{indiciae5a65e4dcf9a8,
  title = {Clifford Circuit Optimization with Templates and Symbolic Pauli Gates},
  author = {Bravyi, Sergey and Shaydulin, Ruslan and Hu, Shaohan and Maslov, Dmitri},
  year = {2021},
  doi = {10.22331/q-2021-11-16-580},
  url = {https://www.osti.gov/biblio/1962607},
  note = {Source identifier: 1962607}
}