2025-02-23T04:15:06-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83064%22&qt=morelikethis&rows=5

2025-02-23T04:15:06-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83064%22&qt=morelikethis&rows=5

2025-02-23T04:15:06-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK

2025-02-23T04:15:06-05:00 DEBUG: Deserialized SOLR response

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

Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff....

Full description

Saved in:

Bibliographic Details
Main Authors:	Авлочинская, Т.В., Бибило, П.Н.
Format:	Article
Language:	Russian
Published:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
Series:	Управляющие системы и машины
Subjects:	Новые методы в информатике
Online Access:	http://dspace.nbuv.gov.ua/handle/123456789/83064
Tags:	Add Tag No Tags, Be the first to tag this record!

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

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

Similar Items