Modeling local planner operation based on solution of nonlinear boolean programming problems - E. S. Listrovaja; V. A. Bryksin; M. S. Kurtsev (Cybernetics and Systems Analysis, 2017)