Using CP/SMT Solvers for Scheduling and Routing of AGVs.
Sarmad RiaziBengt LennartsonPublished in: IEEE Trans Autom. Sci. Eng. (2021)
Keyphrases
- flexible manufacturing systems
- modulo theories
- scheduling problem
- constraint programming
- routing problem
- answer set programming
- network topology
- manufacturing systems
- routing algorithm
- scheduling algorithm
- routing protocol
- resource constraints
- statistical machine translation
- round robin
- resource allocation
- constraint solver
- parallel machines
- real time control
- logic programs
- multi criteria
- routing decisions
- constraint solvers
- response time