Stepan Kochemazov Oleg Zaikin 0002 Grigorii Trofimiuk Kirill Antonov Alexander A. Semenov Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance. 14278-14286 2026 AAAI https://doi.org/10.1609/aaai.v40i17.38442 conf/aaai/2026 db/conf/aaai/aaai2026.html#KochemazovZTAS26