Управление большими системами
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


УБС:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Управление большими системами, 2013, выпуск 43, страницы 138–156 (Mi ubs678)  
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Информационные технологии в управлении

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

О. С. Заикинa, А. А. Семёновa, М. А. Посыпкинb

a ФГБУН Институт динамики систем и теории управления СО РАН
b ФГБУН Институт проблем передачи информации РАН
PDF полного текста (1022 kB) Список цитирования (4)
Список литературы:
PDF
HTML
Аннотация: В статье предложен новый подход к построению декомпози-ционных множеств, используемых для крупноблочного распа-раллеливания SAT-задач и их решения в распределенных вычис-лительных средах. Предложенные алгоритмы используется в проекте добровольных распределенных вычислений SAT@home.
Ключевые слова: Выполнимость булевых формул, метод имитации отжига, добровольные распределенные вычисления, SAT@home.
Тип публикации: Статья
УДК: 519.7
ББК: В 22.1
Образец цитирования: О. С. Заикин, А. А. Семёнов, М. А. Посыпкин, “Процедуры построения декомпозиционных множеств для распределенного решения sat-задач в проекте добровольных вычислений sat@home”, УБС, 43 (2013), 138–156
Цитирование в формате AMSBIB
\RBibitem{ZaiSemPos13}
\by О.~С.~Заикин, А.~А.~Семёнов, М.~А.~Посыпкин
\paper Процедуры построения декомпозиционных множеств для распределенного решения sat-задач в проекте добровольных вычислений sat@home
\jour УБС
\yr 2013
\vol 43
\pages 138--156
\mathnet{http://mi.mathnet.ru/ubs678}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ubs678
  • https://www.mathnet.ru/rus/ubs/v43/p138
    • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Управление большими системами
    Статистика просмотров:
    Страница аннотации:319
    PDF полного текста:91
    Список литературы:64
    Первая страница:2
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024