Процедуры построения декомпозиционных множеств для распределенного решения SAT-задач в проекте добровольных вычислений SAT@home

Заикин Олег Сергеевич, Семёнов Александр Анатольевич and Посыпкин Михаил Анатольевич
Additional contact information
Заикин Олег Сергеевич: Институт динамики систем и теории управления СО РАН
Семёнов Александр Анатольевич: Институт динамики систем и теории управления СО РАН
Посыпкин Михаил Анатольевич: Институт проблем передачи информации РАН

Управление большими системами: сборник трудов, 2013, issue 43, 138-156

Abstract: В статье предложен новый подход к построению декомпози-ционных множеств, используемых для крупноблочного распа-раллеливания SAT-задач и их решения в распределенных вычис-лительных средах. Предложенные алгоритмы используется в проекте добровольных распределенных вычислений SAT@home.

Keywords: ВЫПОЛНИМОСТЬ БУЛЕВЫХ ФОРМУЛ; МЕТОД ИМИТАЦИИ ОТЖИГА; ДОБРОВОЛЬНЫЕ РАСПРЕДЕЛЕННЫЕ ВЫЧИСЛЕНИЯ; SAT@HOME.; SAT@HOME (search for similar items in EconPapers)
Date: 2013
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/protsedury-postro ... lnyh-vychisleniy-sat

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:scn:022092:14469699

Access Statistics for this article

More articles in Управление большими системами: сборник трудов from CyberLeninka, Федеральное государственное бюджетное учреждение науки Институт проблем управления им. В.А. Трапезникова РАН
Bibliographic data for series maintained by CyberLeninka ().