TY - JOUR AU - O. S. Zaikin TI - Inverting 29-step MD5 compression function via SAT JO - Prikladnaya Diskretnaya Matematika. Supplement PY - 2023 SP - 36 EP - 40 IS - 16 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PDMA_2023_16_a9/ LA - ru ID - PDMA_2023_16_a9 ER -