MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTES
Modeling of movement of objects without stops in a network of crossing routes is studied. The problem is formulated in terms of disjunctive linear programming, mixed integer linear programming and graph theory. Several variants for representing constraints on convergence of objects are considered. N...
Main Authors: | I. V. Rubanov, M. S. Barketau, M. Y. Kovalyov |
---|---|
Format: | Article |
Language: | Russian |
Published: |
The United Institute of Informatics Problems of the National Academy of Sciences of Belarus
2018-03-01
|
Series: | Informatika |
Subjects: | |
Online Access: | https://inf.grid.by/jour/article/view/313 |
Similar Items
-
SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks
by: Kimia Zamiri Azar, et al.
Published: (2018-11-01) -
Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving
by: Robert Nieuwenhuis, et al.
Published: (2021-01-01) -
Constraint Solving Approach to Schedulability Analysis in Real-Time Systems
by: Hyuk Lee, et al.
Published: (2018-01-01) -
Towards Tight Differential Bounds of Ascon
by: Rusydi H. Makarim, et al.
Published: (2022-09-01) -
Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems
by: Hyuk Lee, et al.
Published: (2020-01-01)