%0 Journal Article
%A A. S. Ignat'ev
%A A. A. Semenov
%A D. V. Bespalov
%A O. S. Zaikin
%T A~hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 19-20
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_10_a8/
%G ru
%F PDM_2009_10_a8