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

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:

Проекты:

DOI:

Аннотация:

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

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

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

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

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

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

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