@techreport{weko_225056_1,
   author	 = "Atsushi,Matsuo and Shigeru,Yamashita and Daniel,J. Egger",
   title	 = "A SAT approach to the initial mapping problem in SWAP gate insertion for commuting gates",
   year 	 = "2023",
   institution	 = "IBM Quantum, IBM Research - Tokyo／Ritsumeikan University, Ritsumeikan University, IBM Quantum, IBM Research - Zurich Ruschlikon",
   number	 = "20",
   month	 = "mar"
}