Представление лабораторий ФИТИП. МНЦ КТ: Discrete Optimization & Formal Methods Lab.

Представление лаборатории дискретной оптимизации и формальных методов. Рассказ об алгоритмических основах SAT-решателей, об их применении при решении задач синтеза конечно-автоматных моделей, а также о методах решении сложных экземпляров задачи SAT.