Login / Signup
A SAT Approach to the Initial Mapping Problem in SWAP Gate Insertion for Commuting Gates.
Atsushi Matsuo
Shigeru Yamashita
Daniel J. Egger
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2023)
Keyphrases
</>
search algorithm
database
sat instances
low cost
sat solvers
sat problem