Kondratiev, V.S., A.A. Semenov, and O.S. Zaikin. 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.