В докладе рассматриваются методы решения задачи эквивалентности логических схем, основанные на декомпозиции на независимые задачи. Это позволяет ускорить решение задачи за счет параллельных вычислений.

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