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

Philipp Niemann Luca Müller Rolf Drechsler

Published in: RC (2021)

Keyphrases

finding optimal
satisfiability problem
optimal or near optimal
sat solvers
boolean satisfiability
phase transition
sat problem
stochastic local search
stochastic local search algorithms
search algorithm
lower bound
sat encodings
sat solving