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

Реализация на GPU алгоритма DPLL с ограниченной формой нехронологического бэктрекинга

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

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

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

Журнал: Тр. XVIII Байкальской всерос. конф. “Информ. и матем. технологии в науке и управлении”

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

Том: II

Номера страниц: 98–104

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

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

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

Издательство: Изд-во ИСЭМ СО РАН

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

Адрес издателя: Иркутск

Название издательства: Изд-во ИСЭМ СО РАН

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

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

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

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

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

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