Использование двоичных диаграмм решений в задачах обращения дискретных функций А. С. Игнатьев, А. А. Семенов, А. Е. Хмельнов
Material type:![Article](/opac-tmpl/lib/famfamfam/AR.png)
Библиогр.: 13 назв.
Рассматривается возможность использования двоичных диаграмм решений (BDD) в задачах обращения дискретных функций из одного класса, известного своими многочисленными приложениями. Описывается метод решения систем логических уравнений, сочетающий элементы SAT-подхода и подхода, использующего ROBDD-представления характеристических функций рассматриваемых систем. Приводится описание архитектуры «типового» BDD-решателя систем логических уравнений.
There are no comments on this title.