Рiшко, К. М.Стьопочкiна, I. В.2022-11-082022-11-082020Рiшко, К. М. Використання SMT–розв’язникiв для передбачення псведовипадкових послiдовностей / К. М. Рiшко, I. В. Стьопочкiна // XVIIІ Всеукраїнська науково-практична конференція студентів, аспірантів та молодих вчених «Теоретичні і прикладні проблеми фізики, математики та інформатики» (Україна, м. Київ, 12-13 травня 2020 р.) : матеріали конференції. – Київ : КПІ ім. Ігоря Сікорського, 2020. – С. 195–198. – Бібліогр.: 11 назв.https://ela.kpi.ua/handle/123456789/50914ukSATSMTSAT–розв’язникиSMT–розв’язникипсевдовипадковi послiдовностiZ3Використання SMT–розв’язникiв для передбачення псведовипадкових послiдовностейArticleС. 195–198