Лещенко, Владислав Вадимович, et al. “Comparative Analysis of the Complexity of the Linearization and Enumeration Methods for Solving Systems of Nonlinear Boolean Equations”. Ukrainian Information Security Research Journal, vol. 22, no. 1, Mar. 2020, pp. 33-42, doi:10.18372/2410-7840.22.14662.