Наукова періодика України Управляющие системы и машины


Авлочинская Т. В. 
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т. В. Авлочинская, П. Н. Бибило // Управляющие системы и машины. - 2012. - № 3. - С. 15-23. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_3_3
Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче "выполнимость конъюнктивной нормальной формы". Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff.
  Повний текст PDF - 757.444 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Авлочинская Т.
  • Бибило П.

  • Бібліографічний опис для цитування:

    Авлочинская Т. В. Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т. В. Авлочинская, П. Н. Бибило // Управляющие системы и машины. - 2012. - № 3. - С. 15-23. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2012_3_3.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     

       Всі права захищені © Національна бібліотека України імені В. І. Вернадського