Аль-Саид Х. Х. Применение теоретико-графового аппарата для решения некоторых задач булевой алгебры

Объект исследования: Булевы функции. Цель исследования: Разработка эффективных алгоритмов решения некоторых задач булевой алгебры. Методы исследования и аппаратура: Аппарат теории графов. Теоретические результаты и новизна: Разработаны новые алгоритмы решения задач минимизации и распознавания изоморфизма булевых функций. Практические результаты и новизна: Результаты могут быть использованы в радиоэлектронике, органической химии и машинной графике. Предмет и степень внедрения: Оптимизационные и тестирующие программы для цифровых устройств. Эффективность внедрения: Исследование, оптимизация и синтез цифровых устройств. Сфера (область) использования: Радиоэлектроника и органическая химия.