RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Кирьянова Анастасия Павловна
Публикации в базе данных Math-Net.Ru
Применение алгоритмов решения проблемы булевой выполнимости для анализа финалистов конкурса SHA-3
Выч. мет. программирование
,
25
:3 (2024),
259–273
©
МИАН
, 2024
