https://qcrepository.org/2604.02539.1
Decoding quantum color codes with MaxSAT · Code · QCR
In classical computing, error-correcting codes are well established and are ubiquitous both in theory and practical applications. For quantum computing,…
color codesdecodingquantummaxsatqcr
https://www.ijcai.org/proceedings/2022/262
An Exact MaxSAT Algorithm: Further Observations and Further Improvements | IJCAI
Electronic proceedings of IJCAI 2022
exactmaxsatalgorithmobservationsimprovements