O. Lytvynenko, “Method of solving nonlinear equation systems with Boolean variables”, Aviation, vol. 12, no. 3, pp. 80-86, Sep. 2008.