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

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

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

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

Том:

Номер:

Год: 2014

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

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

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

URL:

Аннотация: 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: 0

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

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

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

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