Kondratiev, V., Semenov, A., & 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), 54–66. https://doi.org/10.26089/NumMet.v20r106