Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений

dc.contributor.author	Авлочинская, Т.В.
dc.contributor.author	Бибило, П.Н.
dc.date.accessioned	2015-06-13T18:45:59Z
dc.date.available	2015-06-13T18:45:59Z
dc.date.issued	2012
dc.identifier.citation	Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. — 2012. — № 3. — С. 15-23. — Бібліогр.: 12 назв. — рос.	uk_UA
dc.identifier.issn	0130-5395
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/83064
dc.description.abstract	Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff.	uk_UA
dc.description.abstract	The results of experimental research of the decomposition algorithm for partial Boolean functions and systems are described. The algorithm is based on the reduction of the decomposition problem to the SAT problem. To check the satisfiability for the given CNF the SAT-programmes (picosat and zChaff) are used.	uk_UA
dc.description.abstract	Описано результати експериментального дослідження алгоритму декомпозиції часткових булевих функцій і систем, заснованого на зведенні задачі декомпозиції до задачі «виконуваності кон’юнктивної нормальної форми». Для перевірки виконуваності задачи використано відомі SAT-програми picosat та zChaff.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України	uk_UA
dc.relation.ispartof	Управляющие системы и машины
dc.subject	Новые методы в информатике	uk_UA
dc.title	Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений	uk_UA
dc.title.alternative	The Experimental Research of Recognizing the Decomposition of Partial Boolean Functions Based on Solving Logical Equations	uk_UA
dc.title.alternative	Експериментальне дослідження роздільності часткових бульових функцій на основі розв’язання логічних рівнянь	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	517.98