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

В работе рассматривается комбинированный метод решения систем полиномиальных булевых уравнений, основанный на опробовании части переменных и отбрасывания части значений опробуемых переменных на основе критерия мономиальной совместимости. Рассчитана трудоемкость метода для некоторых значений параметров систем булевых уравнений.