Lytvynenko, O. Method of Solving Nonlinear Equation Systems With Boolean Variables. Aviation 2008, 12 (3), 80-86. https://doi.org/10.3846/1648-7788.2008.12.80-86.