@misc{indiciaece488b03d76c,
  title = {Clifford Circuit Optimization with Templates and Symbolic Pauli Gates},
  author = {Sergey Bravyi and Ruslan Shaydulin and Shaohan Hu and Dmitri Maslov},
  year = {2021},
  doi = {10.22331/q-2021-11-16-580},
  url = {https://arxiv.org/abs/2105.02291},
  note = {Source identifier: 2105.02291}
}