Процедуры построения декомпозиционных множеств для распределенного решения 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
Обсудить статью в Интернет-конференции по проблемам управления

Просмотров: 4871; загрузок: 1700, за месяц: 18.

Назад