S. Kochemazov, O. Zaikin, G. Trofimiuk, K. Antonov, and A. Semenov, “Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance”, AAAI, vol. 40, no. 17, pp. 14278–14286, Mar. 2026.