Використання SMT–розв’язникiв для передбачення псведовипадкових послiдовностей
Вантажиться...
Дата
2020
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Опис
Ключові слова
SAT, SMT, SAT–розв’язники, SMT–розв’язники, псевдовипадковi послiдовностi, Z3
Бібліографічний опис
Рiшко, К. М. Використання SMT–розв’язникiв для передбачення псведовипадкових послiдовностей / К. М. Рiшко, I. В. Стьопочкiна // XVIIІ Всеукраїнська науково-практична конференція студентів, аспірантів та молодих вчених «Теоретичні і прикладні проблеми фізики, математики та інформатики» (Україна, м. Київ, 12-13 травня 2020 р.) : матеріали конференції. – Київ : КПІ ім. Ігоря Сікорського, 2020. – С. 195–198. – Бібліогр.: 11 назв.