Заикин, Олег Сергеевич. Реализация процедур прогнозирования трудоемкости параллельного решения 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: Вестник УГАТУ