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

Двоичные диаграммы решений в параллельных алгоритмах обращения дискретных функций

Авторы: Игнатьев А.С., Семенов А.А., Беспалов Д.В.

Журнал: Тр. Междунар. науч. конф. ПАВТ’09 (Нижний Новгород, 30 марта-3 апреля 2009 г.)

Том:

Номер:

Год: 2009

Отчётный год: 2009

Издательство: Издательский центр ЮУрГУ

Местоположение издательства: Челябинск

URL:

Проекты:

DOI:

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

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

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

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

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

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

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

Публикация в печати: 0