Оценка параметров метода последовательного подбора неизвестных

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