%0 Journal Article %A I. A. Bogachkova %A O. S. Zaikin %A S. E. Kochemazov %A I. V. Otpushchennikov %A A. A. Semenov %A O. O. Khamisov %T Problems of search for collisions of cryptographic hash functions of the MD family as variants of Boolean satisfiability problem %J Numerical methods and programming %D 2015 %P 61-77 %V 16 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/VMP_2015_16_1_a6/ %G ru %F VMP_2015_16_1_a6