V. Kondratiev, A. Semenov, and O. Zaikin, “Duplicates of conflict clauses in CDCL derivation and their usage to invert some cryptographic functions”, Num. Meth. Prog., vol. 20, no. 59, pp. 54–66, Feb. 2019.