2025-02-23T04:09:15-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:09:15-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:09:15-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T04:09:15-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!
Description
Summary:Описаны результаты экспериментального исследования алгоритма декомпозиции частичных булевых функций и систем, основанного на сведении задачи декомпозиции к задаче «выполнимость конъюнктивной нормальной формы». Для проверки выполнимости задачи использованы известные SAT-программы picosat и zChaff.

Similar Items