Методы разбиения логических схем для оптимизации решения задач проверки эквивалентности и функциональной коррекции схемдоклад на конференции