Lytvynenko, O. (2008). Method of solving nonlinear equation systems with Boolean variables. Aviation, 12(3), 80-86. https://doi.org/10.3846/1648-7788.2008.12.80-86