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

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

Авторы: Семенов А.А., Хмельнов А.Е., Игнатьев А.С.

Журнал: Вестник НГУ. Сер. Информ. технологии

Том: 7

Номер: 4

Год: 2009

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

Издательство:

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

URL:

Проекты:

DOI:

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

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

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

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

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

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

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

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