An SMT-Solver-Based Synthesis of NNA-Compliant Quantum Circuits Consisting of CNOT, H and T Gates. - Kyohei Seino; Shigeru Yamashita (ASP-DAC, 2023)