CNOT-Optimal Clifford Synthesis as SAT

Open in new window