В докладе рассматривается эвристики SAT-решателей при решении задачи генерации детерминированных конечных автоматов по примерам поведения. На основе рассмотренных разрабатываются новые эвристики. Анализируются преимущества и недостатки эвристик на различных тестовых данных.

Трапезников С.С. (науч. рук. Ульянцев В.И.) Сравнение эвристик SAT-решателей для генерации детерминированных конечных автоматов по примерам поведения // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022]. URL: https://kmu.itmo.ru/digests/article/7005