Технология крулооблочного параллеллзма о SAT-задачах

Заикин О. С. and Семенов А. А.
Additional contact information
Заикин О. С.: Институт динамики систем и теории управления СО РАН
Семенов А. А.: Институт динамики систем и теории управления СО РАН

Проблемы управления, 2008, issue 1, 43-50

Abstract: Предложен новый подход к решению SAT-задач, основанный на концепции крупноблочного параллелизма, свойственного многочисленным задачам большой размерности. В рамках данного подхода строится декомпозиция исходной конъюнктивной нормальной формы (КНФ) на семейство КНФ с последующим решением SAT-задачи для каждой КНФ полученного семейства на отдельном вычислительном узле кластера. Планирование оптимального по трудоемкости вычисления осуществляется через решение задачи оптимизации специальной прогнозной функции. Эффективность подхода подтверждена на примере задач криптоанализа суммирующего и порогового генераторов.

Date: 2008
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/tehnologiya-krulo ... llzma-o-sat-zadachah

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:scn:009530:14050946

Access Statistics for this article

More articles in Проблемы управления from CyberLeninka, Общество с ограниченной ответственностью "СенСиДат-Контрол"
Bibliographic data for series maintained by CyberLeninka ().