УПРАВЛЕНИЕ БОЛЬШИМИ СИСТЕМАМИ
на главную написать письмо карта сайта

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


Название статьи:  Процедуры построения декомпозиционных множеств для распределенного решения SAT-задач в проекте добровольных вычислений SAT@HOME
Выпуск: 43
Год: 2013
Библиография: Заикин О. С., Семенов А. А., Посыпкин М. А. Процедуры построения декомпозиционных множеств для распределенного решения SAT-задач в проекте добровольных вычислений SAT@HOME / Управление большими системами. Выпуск 43. М.: ИПУ РАН, 2013. С.138-156.
Дата опубликования: 31.05.2013
Ключевые слова: Выполнимость булевых формул, метод имитации отжига, добровольные распределенные вычисления, SAT@home.
Аннотация: В статье предложен новый подход к построению декомпози-ционных множеств, используемых для крупноблочного распа-раллеливания SAT-задач и их решения в распределенных вычис-лительных средах. Предложенные алгоритмы используется в проекте добровольных распределенных вычислений SAT@home.


Author(s): Zaikin O., Semenov A., Posypkin M.
Article title: Constructing decomposition sets for distributed solution of sat problems in volunteer computing project sat@home
Issue: 43
Year: 2013
Keywords: Boolean satisfiability problem, simulated annealing, volunteer computing, SAT@home.
Abstract: We suggest an approach to construct decomposition sets for coarse-grained parallelization of SAT problems. Decomposition sets are used for distributed solving of hard SAT problems. The proposed algorithms are used in the volunteer computing project SAT@home.


в формате PDF
Обсудить статью в Интернет-конференции по проблемам управления

Просмотров: 1961; загрузок: 723, за месяц: 26.

Назад

ИПУ РАН © 2007. Все права защищены