Finding Optimal Implementations of Non-native CNOT Gates Using SAT

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_15 ◽

2021 ◽

pp. 242-255

Author(s):

Philipp Niemann ◽

Luca Müller ◽

Rolf Drechsler

Download Full-text