2026
Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance
AAAI 2026technical
In recent years, constraint solvers show increasing use in solving various open combinatorial problems, e.g., from Ramsey theory or synthesis of combinatorial designs. The similar approach can be applied to some problems related to binary linear codes, which form one of the largest families of error