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

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

Тип публикации: Материал конференции

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

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

Журнал: Тр. VI Междунар. науч. конф. "Параллельные вычисления и задачи управления" (PACO'2012, Москва, 24-26 октября 2012 г.)

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

Том: 2

Номера страниц: 85–95

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

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

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

Издательство: ИПУ РАН

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

Адрес издателя: Москва

Название издательства: ИПУ РАН

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

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

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

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

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

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

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