@misc{indiciae854c3f07d37e,
  title = {Qubit Mapping and Routing via MaxSAT},
  author = {Abtin Molavi and Amanda Xu and Martin Diges and Lauren Pick and Swamit Tannu and Aws Albarghouthi},
  year = {2022},
  url = {https://arxiv.org/abs/2208.13679},
  note = {Source identifier: 2208.13679}
}