Logic-based Benders decomposition

JN Hooker, G Ottosson - Mathematical Programming, 2003 - Springer
Benders decomposition uses a strategy of``learning from one's mistakes.''The aim of this
paper is to extend this strategy to a much larger class of problems. The key is to generalize …

[HTML][HTML] A matheuristic for AGV scheduling with battery constraints

N Singh, QV Dang, A Akcay, I Adan… - European Journal of …, 2022 - Elsevier
This paper considers the problem of scheduling automated guided vehicles (AGVs) with
battery constraints. Each transport request involves a soft time window, and the AGV fleet …

[HTML][HTML] Scheduling heterogeneous multi-load AGVs with battery constraints

QV Dang, N Singh, I Adan, T Martagan… - Computers & Operations …, 2021 - Elsevier
Recent trends towards larger and more complex systems necessitate the use of
heterogeneous and flexible automated guided vehicles (AGVs) to fulfill the transport …

Improving just-in-time delivery performance of IoT-enabled flexible manufacturing systems with AGV based material transportation

F Yao, B Alkan, B Ahmad, R Harrison - Sensors, 2020 - mdpi.com
Autonomous guided vehicles (AGVs) are driverless material handling systems used for
transportation of pallets and line side supply of materials to provide flexibility and agility in …

Energy optimization of large-scale AGV systems

S Riazi, K Bengtsson… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
We propose an efficient optimization method, which addresses several performance criteria,
such as makespan, maximum lateness, and the sum of tardiness for an automated guided …

A new knowledge-guided multi-objective optimisation for the multi-AGV dispatching problem in dynamic production environments

L Liu, T Qu, M Thürer, L Ma, Z Zhang… - International Journal of …, 2023 - Taylor & Francis
The efficiency of material supply for workstations using Automatic Guided Vehicles (AGVs) is
largely determined by the performance of the AGV dispatching scheme. This paper …

Using CP/SMT solvers for scheduling and routing of AGVs

S Riazi, B Lennartson - IEEE transactions on automation …, 2020 - ieeexplore.ieee.org
An improved method for solving conflict-free scheduling and routing of automated guided
vehicles is proposed in this article, with promising results. This is achieved by reformulating …

Logic-based benders decomposition: theory and applications

J Hooker - 2023 - books.google.com
This book is the first comprehensive guide to logic-based Benders decomposition (LBBD), a
general and versatile method for breaking large, complex optimization problems into …

Solving the conflict-free electric vehicle routing problem using SMT solvers

SF Roselli, M Fabian, K Åkesson - 2021 29th mediterranean …, 2021 - ieeexplore.ieee.org
The vehicle routing problem is a combinatorial optimization problem of computing routes to
serve customers while minimizing a cost function, typically the traveled distance or the …