Страница публикации
Encoding Cryptographic Functions to SAT Using TRANSALG System
Авторы: Otpuschennikov I., Semenov A., Gribanova I., Zaikin O., Kochemazov S.
Журнал: Frontiers in Artificial Intelligence and Applications
Том: 285
Номер:
Год: 2016
Отчётный год: 2016
Издательство:
Местоположение издательства:
URL:
Аннотация:
Индексируется WOS: 1
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: