Лещенко, В. В.; Пекарчук, Н. А.; Савчук, М. М. Comparative Analysis of the Complexity of the Linearization and Enumeration Methods for Solving Systems of Nonlinear Boolean Equations. Zahist ìnf. 2020, 22, 33-42.