Cовместный исследовательский проект с университетом в Лиссабоне

Cовместный исследовательский проект с университетом в Лиссабоне

В результате семинаров, проведенных руководителем группы "Проблемы оптимизации в программной инженерии" Владимиром Ульянцевым в Лиссабонском университете в октябре 2016 года, был начат совместный исследовательский проект по методам решения задачи построения минимальных конечных детерминированных автоматов. В рамках удаленного сотрудничества в течение нескольких месяцев проводились исследования в данной области, а также программная реализация разработанных методов и их экспериментальная проверка.

В ходе проводимых работ была запланирована статья, отражающая результаты исследований, которая должна быть отправлена на конференцию уровня А "20th International Conference on Theory and Applications of Satisfiability Testing" (SAT2017).

Исследователь нашей группы Илья Закирзянов, занимающийся данной темой, был отправлен в Лиссабон на 15 дней для наиболее эффективного взаимодействия и с целью совершения финального рывка в данном исследовании. В ходе данной поездки были разработаны и реализованы методы более компактного представления задачи построения минимального конечного детерминированного автомата на языке задачи выполнимости булевых формул (SAT). Также были проведены экспериментальные исследования всех разработанных методов, и была подготовлена и отправлена аннотация статьи на SAT2017. В ближайшую неделю данная статья будет доработана и отправлена на конференцию.

5909ffe649800.jpg