Moving forward: A non-search based synthesis method toward efficient CNOT-based quantum circuit synthesis algorithms | IEEE Conference Publication | IEEE Xplore