Utilizing Don't-Cares to Minimize CNOTs in Synthesizing NNA Compliant Quantum Circuits. - David Clarino; Kyouhei Seino; Atsushi Matsuo; Shigeru Yamashita (QCE, 2024)