О. С. Заикин, А. А. Семёнов, М. А. Посыпкин, “Процедуры построения декомпозиционных множеств для распределенного решения sat-задач в проекте добровольных вычислений sat@home”, УБС, 2013, выпуск 43,страницы 138

Эта публикация цитируется в 4 статьях

Информационные технологии в управлении

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

О. С. Заикин^a, А. А. Семёнов^a, М. А. Посыпкин^b

^a ФГБУН Институт динамики систем и теории управления СО РАН
^b ФГБУН Институт проблем передачи информации РАН

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

Ключевые слова: Выполнимость булевых формул, метод имитации отжига, добровольные распределенные вычисления, SAT@home.

УДК: 519.7
ББК: В 22.1