@misc{indiciaefd5132a787b3,
  title = {Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers},
  author = {Tom Peham and Nina Brandl and Richard Kueng and Robert Wille and Lukas Burgholzer},
  year = {2023},
  url = {https://arxiv.org/abs/2305.01674},
  note = {Source identifier: 2305.01674}
}