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

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

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

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

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

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

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

Том: 7

Номера страниц: 36-52

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

Номер: 4

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

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

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

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

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

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

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

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

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