%0 Journal Article
%A K. V. Antonov
%A A. A. Semenov
%T Application of SAT oracles for generation of additional linear constraints in cryptanalysis of some lightweight ciphers
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2020
%P 114-119
%N 13
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2020_13_a33/
%G ru
%F PDMA_2020_13_a33