TY  - SER
AU  - Игнатьев,Алексей Сергеевич
AU  - Семенов,Александр Анатольевич
AU  - Хмельнов,Алексей Евгеньевич
TI  - Использование двоичных диаграмм решений в задачах обращения дискретных функций
KW  - двоичные диаграммы решений
KW  - адачи обращения дискретных функций
KW  - статьи в журналах
N1  - Библиогр.: 13 назв
N2  - Рассматривается возможность использования двоичных диаграмм решений (BDD) в задачах обращения дискретных функций из одного класса, известного своими многочисленными приложениями. Описывается метод решения систем логических уравнений, сочетающий элементы SAT-подхода и подхода, использующего ROBDD-представления характеристических функций рассматриваемых систем. Приводится описание архитектуры «типового» BDD-решателя систем логических уравнений
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565707
ER  -