Страница публикации

Реализация процедур прогнозирования трудоемкости параллельного решения SAT-задач

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Заикин О.С.

Журнал: Вестник УГАТУ

Язык публикации: russian

Том: 14

Номера страниц: 210–220

Количество страниц: 11

Номер: 4 (39)

Год публикации: 2010

Отчетный год: 2010

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Нет

Индексируется ВАК: Нет

Индексируется CORE: Нет