Аннотация: Описывается способ решения задачи ВЫПОЛНИМОСТЬ (SAT) путем минимизации ассоциированного функционала специального вида. Показаны практические применения приведенных алгоритмов в задачах асимметричного криптоанализа. Разработан генератор задач асимметричного криптоанализа в виде задачи SAT.
Авторы и правообладатели:
—
Библиография статьи:
Дулькейт В. И. Минимизация функционалов, ассоциированных с задачами криптографического анализа / В. И. Дулькейт, Р. Т. Файзуллин, И. Г. Хныкин // Доклады Томского государственного университета систем управления и радиоэлектроники. – 2008. – № 2(18). – Ч. 1. – С. 54–55.