Маро Е. А. , Бабенко Л. К. «Применение алгоритмов решения проблемы булевой выполнимости формул для оценки стойкости блочных шифров семейства ГОСТ к алгебраическому криптоанализу» // Прикладная дискретная математика. Приложение 2017. №10 C.62-64
Софронова Д. А. , Калгин К. В. «Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе» // Прикладная дискретная математика. Приложение 2020. №13 C.135-136
Ткачев А. В. , Калгин К. В. «DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ» // Прикладная дискретная математика. Приложение 2021. №14 C.187-190
Вы можете добавить статью