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

Using BOINC desktop grid to solve large scale SAT problems

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

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

Авторы: Posypkin M., Semenov A., Zaikin O.

Журнал: Computer Science Journal

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

Том: 13

Номера страниц: 25–34

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

Номер: 1

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

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

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

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

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

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

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

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