Кондратьев, В., Семенов, А. и Заикин, О. (2019) «Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций», Вычислительные методы и программирование, 20(59), сс. 54–66. doi: 10.26089/NumMet.v20r106.