Сборник тезисов
Конференция:V Всероссийский конгресс молодых ученых
Раздел:Информационные и интеллектуальные системы и технологии
Рубрика:Технологии программирования, искусственный интеллект, биоинформатика
Год:2016
Построение управляющих конечных автоматов по сценариям и темпоральным свойствам на основе итеративных запусков средства решения задачи выполнимости булевой формулы
УДК:004.4’242