LYTVYNENKO, O. Method of solving nonlinear equation systems with Boolean variables. Aviation, v. 12, n. 3, p. 80-86, 30 Sep. 2008.