Details
Заикин, Олег Сергеевич. Реализация процедур прогнозирования трудоемкости параллельного решения SAT-задач / О. С. Заикин: ил. — (Управление, вычислительная техника и информатика). // Вестник Уфимского государственного авиационного технического университета. – 2010. – Т. 14, № 4. — С. 210-220. — Статья рекомендована к публикации программным комитетом международной научной конференции "Параллельные вычислительные технологии-2010". — <URL:http://journal.ugatu.su/index.php/Vestnik/article/view/1002/837>.
Record create date
10/3/2018
Subject
Математика; Математическая кибернетика; SAT-задачи; обращение дискретных функций; прогнозирование трудоемкости; параллельный SAT-решатель; неблокирущие обмены
Collections
Разработана и реализована в виде MPI-программы крупноблочная параллельная технология решения SAT-задач в распределенных вычислительных средах.
