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

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

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

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

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

Журнал: Вестник Томского гос. ун-та. Управление, вычисл.я техника и информатика

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

Номера страниц: 115-129

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

Номер: 1 (6)

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

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

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

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

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

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

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

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

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