Доронин Артемий Евгеньевич

Публикации в базе данных Math-Net.Ru

1. Применение SAT-решателей к задаче поиска векторных булевых функций с требуемыми криптографическими свойствами
   
   Дискретн. анализ и исслед. опер., 29:4 (2022),  38–58
2. Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами
   
   ПДМ. Приложение, 2020, № 13,  129–132