Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
A Comparative Study of SMT and MILP for the Nurse Rostering Problem
Alvin Combrink, Stephie Do, Kristofer Bengtsson +2
The effects of personnel scheduling on the quality of care and working conditions for healthcare personnel have been thoroughly documented. However, the ever-present demand and lar…
cs.AI2021
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
The Vehicle Routing Problem (VRP) is the combinatorial optimization problem of designing routes for vehicles to visit customers in such a fashion that a cost function, typically th…