@misc{indiciae8f19c37a4f16, title = {Decoding quantum color codes with MaxSAT}, author = {Lucas Berent and Lukas Burgholzer and Peter-Jan H. S. Derks and Jens Eisert and Robert Wille}, year = {2024}, doi = {10.22331/q-2024-10-23-1506}, url = {https://arxiv.org/abs/2303.14237}, note = {Source identifier: 2303.14237} }