Страница публикации
The Application of Parameterized Algorithms for Solving SAT to the Study of Several Discrete Models of Collective Behavior
Авторы: Kochemazov S., Semenov A., Zaikin O.
Журнал: Proc. 39th Intern. Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)
Том:
Номер:
Год: 2016
Отчётный год: 2016
Издательство:
Местоположение издательства:
URL:
Аннотация:
Индексируется WOS: 1
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: