The proposed method avoids expensive Gr?bner basis computations completely by directly calculating reduced normal forms. The problem statement can be described by Boolean polynomials, i.e. polynomials with coefficients in and a degree bound of one for each variable. Therefore, the reference implementations mentioned in this work are built on the top of the PolyBoRi framework, which has been designed exclusively for the treatment of this special class of polynomials.
A series of randomly generated examples is used to demonstrate the performance of the direct method. It is also compared with other approaches, which incorporate Gr?bner basis computations.