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

О GPU реализации ограниченной версии нехронологиче-ского алгоритма DPLL

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

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

Авторы: Булавинцев В.Г., Семенов А.А.

Журнал: Прикладная дискретная математика. Приложение

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

Номера страниц: 111–112

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

Номер: 6

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

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

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

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

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

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

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

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