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

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

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

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

Том:

Номер:

Год: 2014

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

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

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

URL:

Проекты:

DOI:

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

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