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

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.

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

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

Том: 20

Номера страниц: 11-22

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

Номер: 3 (86)

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

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

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

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

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

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

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

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