@misc{indiciae384361cd33a8,
  title = {Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond},
  author = {Lucas Berent and Lukas Burgholzer and Robert Wille},
  year = {2022},
  doi = {10.4230/lipics.sat.2022.18},
  url = {https://arxiv.org/abs/2203.00698},
  note = {Source identifier: 2203.00698}
}