Построение графа переходов последовательностной схемы с применением SAT-решателя

Авторы	автор Голубева О. И. (Сотрудник), автор Рудай Д. В. (Студент)
Тип	Статья в сборнике материалов конференций, симпозиумов и др.
Год	2021
Язык	русский
Отдел	Институт прикладной математики и компьютерных наук, кафедра компьютерной безопасности (ИПМКН)
Библиографическая запись	Голубева О.И., Рудай Д.В. Построение графа переходов последовательностной схемы с применением SAT-решателя // Современные проблемы физико-математических наук : материалы VII Всероссийской научно-практической конференции с международным участием, г. Орел, 18-21 ноября 2021 г. Орел, 2021. С. 466‒475. 1 электрон. опт. диск (DVD-R).
Направление науки
УДК	519.715

Учебная деятельность

Научная деятельность

Конкурсная деятельность