УПРАВЛЕНИЕ БОЛЬШИМИ СИСТЕМАМИ
на главную написать письмо карта сайта

Условия отбора статей


Статьи




↓ Загрузки| Загрузки за месяц| Дата
Заикин О. С., Семенов А. А., Посыпкин М. А. Процедуры построения декомпозиционных множеств для распределенного решения SAT-задач в проекте добровольных вычислений SAT@HOME / Управление большими системами. Выпуск 43. М.: ИПУ РАН, 2013. С.138-156.
(просмотров: 4860, загрузок: 1700, за месяц: 18)

Публикации 1 - 1 из 1
Начало | Пред. | 1 | След. | Конец Все

ИПУ РАН © 2007. Все права защищены