TY  - RPRT
TI  - A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing
AU  - Daniel Bochen Tan
AU  - Murphy Yuezhen Niu
AU  - Craig Gidney
PY  - 2024
DO  - 10.1109/isca59077.2024.00032
UR  - https://arxiv.org/abs/2404.18369
ID  - 2404.18369
ER  -