1. N. Abdessaied , M. Amy , M. Soeken , and R. Drechsler . 2016. Technology mapping of reversible circuits to Clifford+T quantum circuits . In Proc. Int. Symp. Multiple Valued Logic. 150--155 . N. Abdessaied, M. Amy, M. Soeken, and R. Drechsler. 2016. Technology mapping of reversible circuits to Clifford+T quantum circuits. In Proc. Int. Symp. Multiple Valued Logic. 150--155.
2. C. Albrecht . 2005 . IWLS 2005 benchmark suite. https://iwls.org/iwls2005/benchmarks.html C. Albrecht. 2005. IWLS 2005 benchmark suite. https://iwls.org/iwls2005/benchmarks.html
3. L. Amaru , P.-E. Gaillardon , R. Wille , and G. De Micheli . 2016. Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking . In Proc. Design, Automation and Test in Europe Conf. L. Amaru, P.-E. Gaillardon, R. Wille, and G. De Micheli. 2016. Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking. In Proc. Design, Automation and Test in Europe Conf.
4. A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits
5. A new universal and fault-tolerant quantum basis