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

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

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

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

Том: 7

Номер: 4

Год: 2009

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

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

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

URL:

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

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

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

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

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

Добавил в систему: