An SMT-Solver-Based Synthesis of NNA-Compliant Quantum Circuits Consisting of CNOT, H and T Gates.

Kyohei Seino, Shigeru Yamashita

Browse the full ASPDAC paper archive.