517.98
Экспериментальное исследование разделимости частичных булевых функций / Т. В. Авлочинская, П. Н. Бибило //
УСиМ: Управляющие системы и машины : междунар. науч. журн. - . - N 3. - С. 15-23. - Библиогр. в конце ст. - ISSN 0130-5395.
(Шифр в БД У481695/2012/3)
УДК
517.98

Ключові слова: синтез комбинационных логических схем -- синтез комбінаційних логічних схем -- цифровые схемы -- цифрові схеми -- аппарат логических уравнений -- апарат логічних рівнянь --
Анотація:
Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче "выполнимость конъюктивной нормальной формы". Для проверки выполнимости задачи использованы известные SAT-программы pscosat и zChaff.
Описано результати експериментального дослідження алгоритму декомпозиції часткових булевих функцій і систем, заснованого на зведенні задачі декомпозиції до задачі "виконувасті кон'юктівної нормальної форми". Для перевірки виконуваності завдання використано відомі SAT-програми pіcosat і zChaff.
Додаткові точки доступу: