Кондратьев В, Семенов А, Заикин О. Дубликаты конфликтных ограничений в CDCL-выводе и их использование в задачах обращения некоторых криптографических функций. Num. Meth. Prog. [Интернет]. 24 февраль 2019 г. [цитируется по 27 апрель 2024 г.];20(59):54-66. доступно на: https://num-meth.ru/index.php/journal/article/view/1001