Лещенко, В. В., Пекарчук, Н. А., & Савчук, М. М. (2020). Comparative analysis of the complexity of the linearization and enumeration methods for solving systems of nonlinear boolean equations. Ukrainian Information Security Research Journal, 22(1), 33–42. https://doi.org/10.18372/2410-7840.22.14662