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