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), pp. 54–66. doi: 10.26089/NumMet.v20r106.