Kondratiev, V., A. Semenov, and O. 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), vol. 20, no. 59, Feb. 2019, pp. 54-66, doi:10.26089/NumMet.v20r106.