Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений
Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff. Th...
Saved in:
| Published in: | Управляющие системы и машины |
|---|---|
| Date: | 2012 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/83064 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. — 2012. — № 3. — С. 15-23. — Бібліогр.: 12 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-83064 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| spellingShingle |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений Авлочинская, Т.В. Бибило, П.Н. Новые методы в информатике |
| title_short |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_full |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_fullStr |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_full_unstemmed |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_sort |
экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| author |
Авлочинская, Т.В. Бибило, П.Н. |
| author_facet |
Авлочинская, Т.В. Бибило, П.Н. |
| topic |
Новые методы в информатике |
| topic_facet |
Новые методы в информатике |
| publishDate |
2012 |
| language |
Russian |
| container_title |
Управляющие системы и машины |
| publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| format |
Article |
| title_alt |
The Experimental Research of Recognizing the Decomposition of Partial Boolean Functions Based on Solving Logical Equations Експериментальне дослідження роздільності часткових бульових функцій на основі розв’язання логічних рівнянь |
| 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.
|
| issn |
0130-5395 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/83064 |
| citation_txt |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. — 2012. — № 3. — С. 15-23. — Бібліогр.: 12 назв. — рос. |
| 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ʹ |
| first_indexed |
2025-11-30T17:25:33Z |
| last_indexed |
2025-11-30T17:25:33Z |
| _version_ |
1850858301706731520 |