Страница публикации
Процедуры построения декомпозиционных множеств для распределенного решения SAT-задач в проекте добровольных распределенных вычислений SAT@home
Авторы: Заикин О.С., Посыпкин М.А., Семенов А.А.
Журнал: Тр. VI Междунар. науч. конф. "Параллельные вычисления и задачи управления" (PACO'2012, Москва, 24-26 октября 2012 г.)
Том: 2
Номер:
Год: 2012
Отчётный год: 2012
Издательство: ИПУ РАН
Местоположение издательства: Москва
URL:
Аннотация: В статье предложен новый подход к построению декомпозиционных множеств, используемых для крупноблочного распараллеливания SAT-задач и их решения в распределенных вычислительных средах. Предложенные алгоритмы используется в проекте добровольных распределенных вычислений SAT@home.
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 1
Публикация в печати: 0
Добавил в систему: