TY  - RPRT
TI  - Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers
AU  - Tom Peham
AU  - Nina Brandl
AU  - Richard Kueng
AU  - Robert Wille
AU  - Lukas Burgholzer
PY  - 2023
UR  - https://arxiv.org/abs/2305.01674
ID  - 2305.01674
ER  -