%0 Journal Article
%A D. A. Sofronova
%A K. V. Kalgin
%T A compact translator of algorithms into Boolean formulas for use in cryptanalysis
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2020
%P 135-136
%N 13
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2020_13_a39/
%G ru
%F PDMA_2020_13_a39