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