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

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

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

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

Том:

Номер: 1 (6)

Год: 2009

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

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

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

URL:

Проекты:

DOI:

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

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

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

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

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

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

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

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