@misc{indiciae54103b7adcc2,
  title = {Decoding Merged Color-Surface Codes and Finding Fault-Tolerant Clifford Circuits Using Solvers for Satisfiability Modulo Theories},
  author = {Noah Shutty and Christopher Chamberland},
  year = {2022},
  doi = {10.1103/physrevapplied.18.014072},
  url = {https://arxiv.org/abs/2201.12450},
  note = {Source identifier: 2201.12450}
}