Исследование подходов к сокращению пространства поиска при решении задачи обнаружения булевых соответствийдипломная работа (Магистр)