Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer. Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. In Brian La Cour, Lia Yeh, Marek Osinski, editors, IEEE International Conference on Quantum Computing and Engineering, QCE 2023, Bellevue, WA, USA, September 17-22, 2023. pages 802-813, IEEE, 2023. [doi]
Abstract is missing.