@misc{indiciae457d8a98b52a,
  title = {A SAT approach to the initial mapping problem in SWAP gate insertion for commuting gates},
  author = {Atsushi Matsuo and Shigeru Yamashita and Daniel J. Egger},
  year = {2023},
  doi = {10.1587/transfun.2022eap1159},
  url = {https://arxiv.org/abs/2212.05666},
  note = {Source identifier: 2212.05666}
}