Lytvynenko, O. “Method of Solving Nonlinear Equation Systems With Boolean Variables”. Aviation, vol. 12, no. 3, Sept. 2008, pp. 80-86, doi:10.3846/1648-7788.2008.12.80-86.