TY  - RPRT
TI  - Decoding Merged Color-Surface Codes and Finding Fault-Tolerant Clifford Circuits Using Solvers for Satisfiability Modulo Theories
AU  - Noah Shutty
AU  - Christopher Chamberland
PY  - 2022
DO  - 10.1103/physrevapplied.18.014072
UR  - https://arxiv.org/abs/2201.12450
ID  - 2201.12450
ER  -