@misc{indiciae25f85e92c4e6,
  title = {A SAT Encoding for Optimal Clifford Circuit Synthesis},
  author = {Sarah Schneider and Lukas Burgholzer and Robert Wille},
  year = {2025},
  doi = {10.1145/3566097.3567929},
  url = {https://arxiv.org/abs/2208.11713},
  note = {Source identifier: 2208.11713}
}