Кондратьев, В.; Семенов, А.; Заикин, О. Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций. Num. Meth. Prog. 2019, 20, 54-66.