%0 Journal Article
%A A. A. Semenov
%A K. V. Antonov
%A I. A. Gribanova
%T Generating additional constraints in algebraic cryptanalysis using SAT oracles
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2021
%P 104-110
%N 14
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2021_14_a23/
%G ru
%F PDMA_2021_14_a23