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