Исследование влияния некоторых классов параметров на сложность решения задачи верификации логических схемдипломная работа (Бакалавр)