Кондратьев Виктор Сергеевич

Публикации в базе данных Math-Net.Ru

1. Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций
   
   Выч. мет. программирование, 20:1 (2019),  54–66