17 Рубанов И. В. Баркетов М. С. Ковалев М. Я. маршрутизация построение расписаний безопасность полетов разностная логика выполнимость формул в теориях целочисленное линейное программирование дизъюнктивное программирование 2018 2018-03-26 Информатика Рассматривается задача моделирования движения объектов по сети пересекающихся маршрутов. Задача формулируется в терминах дизъюнктивного линейного программирования, смешанного целочисленного линейного программирования и теории графов. Рассматривается несколько вариантов задания ограничений на сближение объектов. Доказывается NP-полнота задачи в сильном смысле. https://www.academjournals.by/publication/18380 https://www.academjournals.by/files/18333