The circuits produced by reversible and quantum synthesis approaches are not often optimal and post synthesis optimizations are beneficial. This paper introduces a functional approach for the optimization of reversible and quantum circuits that uses a recently introduced structure for semi-classical quantum circuits called Decision Diagram for a Matrix Function (DDMF). Experimental results are given that show that using DDMFs leads to more optimizations than are found using existing approaches. © 2013 Springer-Verlag Berlin Heidelberg.
Sasanian, Z., & Miller, D. M. (2013). Reversible and quantum circuit optimization: A functional approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7581 LNCS, pp. 112–124). Springer Verlag. https://doi.org/10.1007/978-3-642-36315-3_9