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

Solving Hard SAT Instances in Volunteer Computing Project SAT@home

Авторы: Bychkov I.V., Kochemazov S.E., Manzyuk M.O., Posypkin M.A., Otpuschennikov I.V., Semenov A.A., Zaikin O.S.

Журнал: Совместный выпуск Вычисл. технологии и Вестник КАЗНУ. Сер. Математика, механика, информатика

Том: 20

Номер: 3 (86)

Год: 2015

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

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

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

URL:

Аннотация:

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

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

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

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

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