Kochemazov, Stepan, Oleg Zaikin, Grigorii Trofimiuk, Kirill Antonov, and Alexander Semenov. “Using Constraint Solvers to Construct Binary Codes With Good Error Correction Performance”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 17 (March 14, 2026): 14278–14286. Accessed May 16, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/38442.