Страница публикации
Using BOINC desktop grid to solve large scale SAT problems
Авторы: Posypkin M., Semenov A., Zaikin O.
Журнал: Computer Science Journal
Том: 13
Номер: 1
Год: 2012
Отчётный год: 2012
Издательство:
Местоположение издательства:
URL:
Аннотация:
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: