23 сентября 2020 г.
Семенов А. А. (Иркутск)
Об одном способе оценивания трудности (hardness) булевых формул относительно современных алгоритмов решения проблемы булевой выполнимости.
25 марта 2020 г.
Е. М. Вирт
Булева динамическая система циркулянтного типа
с функциями дизъюнкция и антидизъюнкция в её вершинах (реферат).
4 марта 2020 г.
Евдокимов А. А.
К аксиоматике задач вложения и покрытия в n-мерном кубе.
Максимлюк Ю. П. Аннотация статьи U.Blass, I.Honkala, M.Karpovsky
"Short dominating path and cycles in the binary hypercube".
26 февраля 2020 г.
Ю. П. Максимлюк, А. А. Белоусова
Легковесные шифры типа Лая-Мэсси и криптографические свойства ортоморфизмов.
|