Цель работы заключается в разработке новых алгоритмов решения LEC за счет специализированной Cube-and-Conquer стратегии, показывающих большую эффективность в сравнении с известными на трудных вариантах LEC. Для этого предлагается исследовать, такие инструменты как ABC и Transalg, разработать алгоритмы подстановки в And-Inverter графы значений гейтов и процедуры распространения ограничений, придумать различные эвристики для стратегии Cube-and-Conquer и применить разработанные алгоритмы для решения трудных примеров LEC.

Уразов Т.А. (науч. рук. Семёнов А.А.) Применение алгоритмов минимизации And-Inverter графов к задаче верификации булевых схем // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2024]. URL: https://kmu.itmo.ru/digests/article/12828