1. A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits;Amy;IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.,2013
2. T-count optimization and Reed–Muller codes;Amy;IEEE Trans. Inform. Theory,2019
3. Elementary gates for quantum computation;Barenco;Phys. Rev. A,1995
4. Logical reversibility of computation;Bennett;IBM J. Res. Dev.,1973
5. Quantum Computing for Everyone;Bernhardt,2019