%0 Journal Article
%A A. E. Doronin
%A K. V. Kalgin
%T Construction of cryptographic Boolean functions using SAT-solvers
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2020
%P 129-132
%N 13
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2020_13_a37/
%G ru
%F PDMA_2020_13_a37