Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers.

Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer

Browse the full QCE paper archive.