Lytvynenko, Olexander. “Method of Solving Nonlinear Equation Systems With Boolean Variables”. Aviation 12, no. 3 (September 30, 2008): 80-86. Accessed April 25, 2024. https://journals.vilniustech.lt/index.php/Aviation/article/view/6745.