@misc{indiciae07b4626def19,
  title = {A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing},
  author = {Daniel Bochen Tan and Murphy Yuezhen Niu and Craig Gidney},
  year = {2024},
  doi = {10.1109/isca59077.2024.00032},
  url = {https://arxiv.org/abs/2404.18369},
  note = {Source identifier: 2404.18369}
}