KONDRATIEV, V.; SEMENOV, A.; ZAIKIN, O. Duplicates of conflict clauses in CDCL derivation and their usage to invert some cryptographic functions. Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie), [S. l.], v. 20, n. 59, p. 54–66, 2019. DOI: 10.26089/NumMet.v20r106. Disponível em: https://en.num-meth.ru/index.php/journal/article/view/1001. Acesso em: 29 apr. 2024.