Токарева Н. Н. «Бент-функции: результаты и приложения. Обзор работ » // Прикладная дискретная математика 2009. №1(3) C.15-37
Ткачев А. В. , Калгин К. В. «DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ» // Прикладная дискретная математика. Приложение 2021. №14 C.187-190
Вы можете добавить статью