Поиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Доронин А. Е. , Калгин К. В. «Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами» // Прикладная дискретная математика. Приложение 2020. №13 C.129-132