In this thesis, a systematic and comprehensive method is reported to obtain all factorizations of a quantum circuit. The result is obtained by searching all Cartan decompositions in a structure called quotient-algebra partition and taking all decomposition paths into consideration. Accordingly, the optimal construction requiring the minimum number of CNOTs for an arbitrary quantum circuit is achieved.