Антонов К.В. (науч. рук. Трофимюк Г.А., Семёнов А.А.) Применение решателей проблемы sat к синтезу кодов, исправляющих ошибки
УДК тезиса: 519.7
Применение решателей проблемы SAT к синтезу кодов, исправляющих ошибки.
Антонов К.В. (науч. рук. Трофимюк Г.А., Семёнов А.А.) Применение решателей проблемы sat к синтезу кодов, исправляющих ошибки // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2025]. URL: https://kmu.itmo.ru/digests/article/14777