Kondratiev, V.S., A.A. Semenov, and O.S. Zaikin. “Duplicates of Conflict Clauses in CDCL Derivation and Their Usage to Invert Some Cryptographic Functions”. Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie) 20, no. 59 (February 24, 2019): 54–66. Accessed April 29, 2024. https://en.num-meth.ru/index.php/journal/article/view/1001.