Optimization for Gaussian Elimination-based NNA-compliant Circuit Synthesis method by Inserting CNOT GatesZanhe QiAtsushi Matsuoet al.2024QCE 2024