Finding Optimal Implementations of Non-native CNOT Gates Using SAT.

Philipp Niemann, Luca Mller, Rolf Drechsler

Browse the full RC paper archive.