%0 Journal Article
%A V. S. Kondratiev
%A A. A. Semenov
%A O. S. Zaikin
%T Duplicates of conflict clauses in CDCL derivation and their usage to invert some cryptographic functions
%J Numerical methods and programming
%D 2019
%P 54-66
%V 20
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMP_2019_20_1_a5/
%G ru
%F VMP_2019_20_1_a5