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