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

Алгоритм поиска эффективных сочетаний параметров SAT-решателей и его параллельная реализация

Тип публикации: Материал конференции

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

Авторы: Горбатенко Д.Е., Заикин О.С., Кочемазов С.Е., Семенов А.А.

Журнал: Сб. тр. Междунар. науч. конф. «Параллельные вычислительные технологии» (ПАВТ'2016)

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

Номера страниц: 768

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

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

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

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

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

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

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

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

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