Kochemazov, S.; Zaikin, O.; Trofimiuk, G.; Antonov, K.; Semenov, A. Using Constraint Solvers to Construct Binary Codes With Good Error Correction Performance. AAAI 2026, 40, 14278-14286.