%0 Journal Article %A O. S. Zaikin %T Inverting 29-step MD5 compression function via SAT %J Prikladnaya Diskretnaya Matematika. Supplement %D 2023 %P 36-40 %N 16 %I mathdoc %U http://geodesic.mathdoc.fr/item/PDMA_2023_16_a9/ %G ru %F PDMA_2023_16_a9