A branch-and-cut algorithm for a resource-constrained scheduling problem

Abstract : This paper is devoted to the exact resolution of a strongly NP-hard resource-constrained scheduling problem, the Process Move Programming problem, which arises in relation to the operability of certain high-availability real-time distributed systems. Based on the study of the polytope defined as the convex hull of the incidence vectors of the admissible process move programs, we present a branch-and-cut algorithm along with extensive computational results demonstrating its practical relevance, in terms of both exact and approximate resolution when the instance size increases.
Type de document :
Article dans une revue
RAIRO - Operations Research, EDP Sciences, 2007, 41 (3), pp.235-251. 〈10.1051/ro:2007021〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00311533
Contributeur : Renaud Sirdey <>
Soumis le : lundi 18 août 2008 - 21:59:44
Dernière modification le : jeudi 11 janvier 2018 - 06:26:36
Document(s) archivé(s) le : jeudi 3 juin 2010 - 18:31:36

Fichiers

RAIRO.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Renaud Sirdey, Hervé Kerivin. A branch-and-cut algorithm for a resource-constrained scheduling problem. RAIRO - Operations Research, EDP Sciences, 2007, 41 (3), pp.235-251. 〈10.1051/ro:2007021〉. 〈inria-00311533〉

Partager

Métriques

Consultations de la notice

150

Téléchargements de fichiers

100