Mixed satisfiability tests for multiprocessor scheduling with release dates and deadlines
✍ Scribed by F. Tercinet; C. Lenté; E. Néron
- Publisher
- Elsevier Science
- Year
- 2004
- Tongue
- English
- Weight
- 197 KB
- Volume
- 32
- Category
- Article
- ISSN
- 0167-6377
No coin nor oath required. For personal study only.
✦ Synopsis
We investigate classical satisÿability tests for P|ri; di|-. Our motivation is to use the complementarity of classical preemptive relaxation and energetic reasoning. Thus minimum capacity constraints, based on the notion of mandatory parts of activities, are added to the classical max-ow formulation.
📜 SIMILAR VOLUMES
A large dynasearch neighborhood is introduced for the one-machine scheduling problem with sequence-dependent setup times and costs and earliness-tardiness penalties. Finding the best schedule in this neighborhood is NP-complete in the ordinary sense but can be done in pseudo-polynomial time. We also