...ormalizer group of S is N (S) = 〈g1, g2, · · · , gr, Z̄1, Z̄2, · · · , Z̄k, X̄1, X̄2, · · · , X̄k〉 with dimension 2n− r = r + 2k. Given a check matrix H of a stabilizer group, Wilde gave an algorithm =-=[12]-=- to find an encoding circuit for this quantum stabilizer code. This algorithm applies a series of CNOT gates, Hadamard gates, Phase gates, SWAP gates, and row operations to the check matrix H such tha...