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

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

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

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

Том:

Номер: 1 (6)

Год: 2009

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

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

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

URL:

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

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

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

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

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

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