Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

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

By: Игнатьев, Алексей СергеевичContributor(s): Семенов, Александр Анатольевич | Хмельнов, Алексей ЕвгеньевичMaterial type: ArticleArticleContent type: Текст Media type: электронный Subject(s): двоичные диаграммы решений | адачи обращения дискретных функцийGenre/Form: статьи в журналах Online resources: Click here to access online In: Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 1. С. 115-129Abstract: Рассматривается возможность использования двоичных диаграмм решений (BDD) в задачах обращения дискретных функций из одного класса, известного своими многочисленными приложениями. Описывается метод решения систем логических уравнений, сочетающий элементы SAT-подхода и подхода, использующего ROBDD-представления характеристических функций рассматриваемых систем. Приводится описание архитектуры «типового» BDD-решателя систем логических уравнений.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Библиогр.: 13 назв.

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

There are no comments on this title.

to post a comment.
Share