TY  - RPRT
TI  - A SAT approach to the initial mapping problem in SWAP gate insertion for commuting gates
AU  - Atsushi Matsuo
AU  - Shigeru Yamashita
AU  - Daniel J. Egger
PY  - 2023
DO  - 10.1587/transfun.2022eap1159
UR  - https://arxiv.org/abs/2212.05666
ID  - 2212.05666
ER  -