Clifford circuit optimization with templates and symbolic pauli gatesSergey BravyiRuslan Shaydulinet al.2021Quantum