|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
1. |
В. С. Кондратьев, А. А. Семенов, О. С. Заикин, “Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций”, Выч. мет. программирование, 20:1 (2019), 54–66 |
|