Kondratiev V, Semenov A, Zaikin O. Duplicates of conflict clauses in CDCL derivation and their usage to invert some cryptographic functions. Num. Meth. Prog. [Internet]. 2019 Feb. 24 [cited 2024 Apr. 29];20(59):54-66. Available from: https://en.num-meth.ru/index.php/journal/article/view/1001