Boolean satisfiability problem: Discrete and continuous reformulations with applications
O Pichugina, O Matsyi - 2020 IEEE 15th International …, 2020 - ieeexplore.ieee.org
An SAT problem is attacked, which is one of the most fundamental problems in Computer
Science. A number of algebraic reformulations of SAT are presented as problems of …
Science. A number of algebraic reformulations of SAT are presented as problems of …
Approaches to solving basic problems of closed routes
O Matsyi - 2020 IEEE 15th International Conference on …, 2020 - ieeexplore.ieee.org
Approaches to Solving Basic Problems of Closed Routes Page 1 69 978-1-7281-5566-1/20/$31.00
©2020 IEEE Approaches to Solving Basic Problems of Closed Routes Olha Matsyi Department …
©2020 IEEE Approaches to Solving Basic Problems of Closed Routes Olha Matsyi Department …
Перестановочно-матричный подход к построению оптимального назначения
ОБ Маций - Вестник Национального технического университета …, 2019 - cyberleninka.ru
Работа содержит результаты исследований по совершенствованию известных
алгоритмов нахождения максимальных паросочетаний с минимальным суммарным …
алгоритмов нахождения максимальных паросочетаний с минимальным суммарным …
Перестановочно-матричный подход к построению оптимального назначения
O Matsiy - … технічного університету" ХПІ". Серія: Iнформатика i …, 2019 - ampr.diit.edu.ua
Анотація Робота містить результати досліджень щодо вдосконалення відомих
алгоритмів знаходження максимальних паросочетание з мінімальним сумарним вагою …
алгоритмів знаходження максимальних паросочетание з мінімальним сумарним вагою …
Математичне моделювання та методи оптимізації замкнених маршрутів в задачах транспортного типу
ОБ Маций - 2019 - openarchive.nure.ua
Дисертаційна робота присвячена дослідженню математичних моделей оптимізації
транспортних перевезень, розробленню нових і вдосконаленню відомих методів та …
транспортних перевезень, розробленню нових і вдосконаленню відомих методів та …
Моделі послідовно-паралельного впорядкування транспортних операцій
ТМ Локтікова, АВ Морозов, ВО Скачков - 2017 - eztuir.ztu.edu.ua
Предметом розгляду в роботі є задача, що належить до детермінованої теорії
розкладів. У роботі запропоновано модель задачі складання розкладу мінімальної …
розкладів. У роботі запропоновано модель задачі складання розкладу мінімальної …
[PDF][PDF] Development of a Computational Experiment for the Paralleling of the Modified Branch and Bound Method for the Problem for the Appointment of Procedures to …
A Danylchenko, S Kravchenko - EUREKA: Physics and Engineering, 2017 - journal.eu-jr.eu
DEVELOPMENT OF A COMPUTATIONAL EXPERIMENT FOR THE PARALLELING OF THE
MODIFIED BRANCH AND BOUND METHOD FOR THE PROBLEM FOR THE AP Page 1 …
MODIFIED BRANCH AND BOUND METHOD FOR THE PROBLEM FOR THE AP Page 1 …
[PDF][PDF] Про задачу побудови маршрутів пасажирських автобусів двох автопідприємств
АВ Морозов, НО Кушнір… - … . Серія: Технічні науки, 2016 - irbis-nbuv.gov.ua
Про задачу побудови маршрутів пасажирських автобусів двох автопідприємств/АВ
Морозов, НО Кушнір, ТМ Локтікова//Вісник Житомирського державного технологічного …
Морозов, НО Кушнір, ТМ Локтікова//Вісник Житомирського державного технологічного …
On the task of building the routes of passenger buses of two automobile companies
АV Morozov, NО Kushnir, ТM Loktikova - 2016 - eztuir.ztu.edu.ua
The article formulates a mathematical model search of n bus routes between the two points,
which carry out cruises corresponding to the specified schedule, and with specified duration …
which carry out cruises corresponding to the specified schedule, and with specified duration …