Страница публикации

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

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Заикин О.С., Посыпкин М.А., Семенов А.А.

Журнал: Управление большими системами

Язык публикации: russian

Том: 43

Номера страниц: 138–156

Количество страниц: 19

Год публикации: 2013

Отчетный год: 2013

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

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет