Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений
Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff. Th...
Збережено в:
| Опубліковано в: : | Управляющие системы и машины |
|---|---|
| Дата: | 2012 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2012
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/83064 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. — 2012. — № 3. — С. 15-23. — Бібліогр.: 12 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862635614680121344 |
|---|---|
| author | Авлочинская, Т.В. Бибило, П.Н. |
| author_facet | Авлочинская, Т.В. Бибило, П.Н. |
| citation_txt | Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. — 2012. — № 3. — С. 15-23. — Бібліогр.: 12 назв. — рос. |
| collection | DSpace DC |
| container_title | Управляющие системы и машины |
| description | Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff.
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.
Описано результати експериментального дослідження алгоритму декомпозиції часткових булевих функцій і систем, заснованого на зведенні задачі декомпозиції до задачі «виконуваності кон’юнктивної нормальної форми». Для перевірки виконуваності задачи використано відомі SAT-програми picosat та zChaff.
|
| first_indexed | 2025-11-30T17:25:33Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-83064 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0130-5395 |
| language | Russian |
| last_indexed | 2025-11-30T17:25:33Z |
| publishDate | 2012 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| record_format | dspace |
| spelling | Авлочинская, Т.В. Бибило, П.Н. 2015-06-13T18:45:59Z 2015-06-13T18:45:59Z 2012 Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. — 2012. — № 3. — С. 15-23. — Бібліогр.: 12 назв. — рос. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/83064 517.98 Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff. 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. Описано результати експериментального дослідження алгоритму декомпозиції часткових булевих функцій і систем, заснованого на зведенні задачі декомпозиції до задачі «виконуваності кон’юнктивної нормальної форми». Для перевірки виконуваності задачи використано відомі SAT-програми picosat та zChaff. ru Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Новые методы в информатике Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений The Experimental Research of Recognizing the Decomposition of Partial Boolean Functions Based on Solving Logical Equations Експериментальне дослідження роздільності часткових бульових функцій на основі розв’язання логічних рівнянь Article published earlier |
| spellingShingle | Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений Авлочинская, Т.В. Бибило, П.Н. Новые методы в информатике |
| title | Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_alt | The Experimental Research of Recognizing the Decomposition of Partial Boolean Functions Based on Solving Logical Equations Експериментальне дослідження роздільності часткових бульових функцій на основі розв’язання логічних рівнянь |
| title_full | Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_fullStr | Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_full_unstemmed | Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_short | Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_sort | экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| topic | Новые методы в информатике |
| topic_facet | Новые методы в информатике |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/83064 |
| work_keys_str_mv | AT avločinskaâtv éksperimentalʹnoeissledovanierazdelimostičastičnyhbulevyhfunkciinaosnoverešeniâlogičeskihuravnenii AT bibilopn éksperimentalʹnoeissledovanierazdelimostičastičnyhbulevyhfunkciinaosnoverešeniâlogičeskihuravnenii AT avločinskaâtv theexperimentalresearchofrecognizingthedecompositionofpartialbooleanfunctionsbasedonsolvinglogicalequations AT bibilopn theexperimentalresearchofrecognizingthedecompositionofpartialbooleanfunctionsbasedonsolvinglogicalequations AT avločinskaâtv eksperimentalʹnedoslídžennârozdílʹnostíčastkovihbulʹovihfunkcíinaosnovírozvâzannâlogíčnihrívnânʹ AT bibilopn eksperimentalʹnedoslídžennârozdílʹnostíčastkovihbulʹovihfunkcíinaosnovírozvâzannâlogíčnihrívnânʹ |