Integer Programming Techniques for Static Scheduling of Hard Real-Time Systems.
Ana GuasqueHossein TohidiPatricia BalbastreJosé María AceitunoJosé E. SimóAlfons CrespoPublished in: IEEE Access (2020)
Keyphrases
- integer programming
- production planning
- np hard
- scheduling problem
- linear programming
- cutting plane
- column generation
- ai planning
- lagrangian relaxation
- scheduling algorithm
- constraint programming
- network flow
- integer program
- valid inequalities
- transportation problem
- vehicle routing problem with time windows
- set covering
- set covering problem
- cutting plane algorithm
- dantzig wolfe decomposition
- search algorithm
- facility location
- inference problems
- crew scheduling
- resource allocation