Matthew Amy, Dmitri Maslov, Michele Mosca, and Martin Roetteler. A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32(6):818–830, 2013. URL:


Alexis De Vos and Yvan Van Rentergem. Young subgroups for reversible computers. Advances in Mathematics of Communications, 2(2):183–200, 2008. URL:, doi:10.3934/amc.2008.2.183.


Dmitri Maslov. Advantages of using relative-phase toffoli gates with an application to multiple control toffoli optimization. Physical Review A, 93(2):022311, 2016. URL:


D. Michael Miller, Dmitri Maslov, and Gerhard W. Dueck. A transformation based algorithm for reversible logic synthesis. In Design Automation Conference, 318–323. 2003. URL:, doi:10.1145/775832.775915.


Ketan N. Patel, Igor L. Markov, and John P. Hayes. Optimal synthesis of linear reversible circuits. Quantum Information & Computation, 8(3):282–294, 2008. URL:


Norbert Schuch and Jens Siewert. Programmable networks for quantum algorithms. Physical Review Letters, 91(2):027902, 2003. URL:, doi:10.1103/PhysRevLett.91.027902.


Mathias Soeken, Gerhard W. Dueck, Md. Mazder Rahman, and D. Michael Miller. An extension of transformation-based reversible and quantum circuit synthesis. In Int’l Symp. on Circuits and Systems, 2290–2293. 2016. URL:, doi:10.1109/ISCAS.2016.7539041.