|
Известия Иркутского государственного университета. Серия «Математика», 2012, том 5, выпуск 4, страницы 79–94
(Mi iigum87)
|
|
|
|
Алгоритмы построения декомпозиционных множеств для крупноблочного распараллеливания SAT-задач
А. А. Семенов, О. С. Заикин ИДСТУ СО РАН
Аннотация:
В работе приводятся алгоритмы построения декомпозиционных множеств, используемых для крупноблочного распараллеливания SAT-задач и их последующего решения в распределенных вычислительных средах. В основе предлагаемых алгоритмов лежит вычислительная схема метода Монте-Карло.
Ключевые слова:
метод Монте-Карло; дискретные функции; SAT-задачи; крупноблочный параллелизм.
Образец цитирования:
А. А. Семенов, О. С. Заикин, “Алгоритмы построения декомпозиционных множеств для крупноблочного распараллеливания SAT-задач”, Известия Иркутского государственного университета. Серия Математика, 5:4 (2012), 79–94
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iigum87 https://www.mathnet.ru/rus/iigum/v5/i4/p79
|
Статистика просмотров: |
Страница аннотации: | 219 | PDF полного текста: | 132 | Список литературы: | 30 |
|