Leveraging Different Boolean Function Decompositions to Reduce T-Count in LUT-Based Quantum Circuit SynthesisDavid ClarinoNaoya Asadaet al.2025IEICE Transactions on Information and Systems