ГИБРИДНЫЙ ПОДХОД (SAT+ROBDD) В ЗАДАЧАХ КРИПТОАНАЛИЗА ПОТОЧНЫХ СИСТЕМ ШИФРОВАНИЯ | AMiner