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

Информация

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