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

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

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

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

Том:

Номер: 6

Год: 2013

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

Издательство:

Местоположение издательства:

URL:

Аннотация:

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

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

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

Публикация в печати: 0

Добавил в систему: