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

Гибридный SAT-решатель HPCSAT

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

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

Авторы: Горский С.А., Богданова В.Г.

Журнал: Тр. XIX Байкальской Всерос. конф. "Информ. и матем. технологии в науке и управлении" (Иркутск, 28 июня-7 июля 2014 г.)

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

Номера страниц: 81-88

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

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

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

Издательство: ИСЭМ СО РАН

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

Адрес издателя: Иркутск

Название издательства: ИСЭМ СО РАН

Аннотация: Principles of organization, main functions and structural components of the hybrid sat-solver HPCSAT for homogeneous computing clusters with SMP-nodes are considered. In particular, we discussed the parallel solution of Boolean equations, based on a hybrid approach.

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

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

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

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

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

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