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

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

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

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

Том: 43

Номер:

Год: 2013

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

Издательство:

Местоположение издательства:

URL:

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

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

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

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

Публикация в печати: 0

Добавил в систему: