Страница публикации
SAT-based Search for Systems of Diagonal Latin Squares in Volunteer Computing Project SAT@home
Авторы: Zaikin O., Kochemazov S., Semenov A.
Журнал: Proc. 39th Intern. Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)
Том:
Номер:
Год: 2016
Отчётный год: 2016
Издательство:
Местоположение издательства:
URL:
Аннотация:
Индексируется WOS: 1
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: