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

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

Тип публикации: Материал конференции

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

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

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

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

Номера страниц: 688–696

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

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

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

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

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

Адрес издателя: Челябинск

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

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

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

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

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

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

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

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