Kondratiev, V., Semenov, A. and Zaikin, O. 2019. 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, 59 (Feb. 2019), 54–66. DOI:https://doi.org/10.26089/NumMet.v20r106.