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

Encoding Cryptographic Functions to SAT Using TRANSALG System

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Otpuschennikov I., Semenov A., Gribanova I., Zaikin O., Kochemazov S.

Журнал: Frontiers in Artificial Intelligence and Applications

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

Том: 285

Номера страниц: 1594-1595

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

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

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

DOI: 10.3233/978-1-61499-672-9-1594

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

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

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

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

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

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