Depth optimization of CZ, CNOT, and Clifford circuits. - Dmitri Maslov; Ben Zindorf (CoRR, 2022)