Страница публикации

Технология крупноблочного параллелизма в SAT-задачах

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Заикин О.С., Семенов А.А.

Журнал: Проблемы управления

Язык публикации: russian

Номера страниц: 43–50

Количество страниц: 8

Номер: 1

Год публикации: 2008

Отчетный год: 2008

Аннотация: Предложен новый подход к решению SAT-задач, основанный на концепции крупноблочного параллелизма, свойственного многочисленным задачам большой размерности. В рамках данного подхода строится декомпозиция исходной конъюнктивной нормальной формы (КНФ) на семейство КНФ с последующим решением SAT-задачи для каждой КНФ полученного семейства на отдельном вычислительном узле кластера. Планирование оптимального по трудоемкости вычисления осуществляется через решение задачи оптимизации специальной прогнозной функции. Эффективность подхода подтверждена на примере задач криптоанализа суммирующего и порогового генераторов.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет