Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. - Tom Peham; Nina Brandl; Richard Kueng; Robert Wille; Lukas Burgholzer (QCE, 2023)