%0 Journal Article
%A I. A. Bogachkova
%A O. S. Zaikin
%A S. E. Kochemazov
%A I. V. Otpuschennikov
%A A. A. Semenov
%T Application of algorithms solving SAT problem to cryptanalysis of hash functions of MD family
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2015
%P 139-142
%N 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2015_8_a53/
%G ru
%F PDMA_2015_8_a53