Finding Optimal Implementations of Non-native CNOT Gates Using SAT
2021 ◽
pp. 242-255