en

Сотрудник подразделения

Публикации

  1. 3Zakirzyanov I., Morgado A., Ignatiev A., Ulyantsev V., Marques-Silva J. Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2019, Vol. 11417, pp. 159-173
    подробнее >>
  2. 2Ovsiannikova P., Chivilikhin D., Ulyantsev V., Stankevich A., Zakirzyanov I., Vyatkin V., Shalyto A. Active learning of formal plant models for cyber-physical systems // Proceedings of 16th IEEE Interantional Conference on Industrial Informatics, INDIN 2018 - 2018, pp. 719-724
    подробнее >>
  3. 1Ulyantsev V., Zakirzyanov I., Shalyto A. BFS-Based Symmetry Breaking Predicates for DFA Identification // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015, Vol. 8977, pp. 611-622 [SJR: 0.283]
    подробнее >>