On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a part of variables

Abstract

In this paper we suggest a combined method for solving systems of Boolean polynomial equations based on testing a part of variables and using monomial compatibility criteria for dropping out some values of the tested variables. The complexity of the method is estimated for various parameters of the system.