O. Lytvynenko, “Method of solving nonlinear equation systems with Boolean variables”, Aviation, vol. 12, no. 3, pp. 80–86, Sep. 2008, doi: 10.3846/1648-7788.2008.12.80-86.