Алгоритмы решения задачи выполнимости SATдипломная работа (Бакалавр)