A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing.

Daniel Bochen Tan, Murphy Yuezhen Niu, Craig Gidney

Browse the full ISCA paper archive.