Kondratiev, V.; Semenov, A.; Zaikin, O. Duplicates of Conflict Clauses in CDCL Derivation and Their Usage to Invert Some Cryptographic Functions. Num. Meth. Prog. 2019, 20, 54-66.