Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений
Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff....
Збережено в:
| Дата: | 2012 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2012
|
| Назва видання: | Управляющие системы и машины |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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| id |
irk-123456789-83064 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-830642015-06-14T03:02:04Z Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений Авлочинская, Т.В. Бибило, П.Н. Новые методы в информатике Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные 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. 2012 Article Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. — 2012. — № 3. — С. 15-23. — Бібліогр.: 12 назв. — рос. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83064 517.98 ru Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Новые методы в информатике Новые методы в информатике |
| spellingShingle |
Новые методы в информатике Новые методы в информатике Авлочинская, Т.В. Бибило, П.Н. Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений Управляющие системы и машины |
| description |
Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff. |
| format |
Article |
| author |
Авлочинская, Т.В. Бибило, П.Н. |
| author_facet |
Авлочинская, Т.В. Бибило, П.Н. |
| author_sort |
Авлочинская, Т.В. |
| title |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_short |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_full |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_fullStr |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_full_unstemmed |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| title_sort |
экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений |
| publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| publishDate |
2012 |
| topic_facet |
Новые методы в информатике |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/83064 |
| citation_txt |
Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. — 2012. — № 3. — С. 15-23. — Бібліогр.: 12 назв. — рос. |
| series |
Управляющие системы и машины |
| work_keys_str_mv |
AT avločinskaâtv éksperimentalʹnoeissledovanierazdelimostičastičnyhbulevyhfunkcijnaosnoverešeniâlogičeskihuravnenij AT bibilopn éksperimentalʹnoeissledovanierazdelimostičastičnyhbulevyhfunkcijnaosnoverešeniâlogičeskihuravnenij |
| first_indexed |
2023-10-18T19:25:59Z |
| last_indexed |
2023-10-18T19:25:59Z |
| _version_ |
1796146937649430528 |