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