Dynamic All-Different and Maximal Cliques Constraints for Fixed Job Scheduling - ENAC - École nationale de l'aviation civile Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Dynamic All-Different and Maximal Cliques Constraints for Fixed Job Scheduling

Nicolas Barnier
Ruixin Wang
  • Fonction : Auteur
  • PersonId : 1035768

Résumé

The resolution of Fixed Job Scheduling (FJS) with Constraint Programming can benefit from the initial computation of the set of all maximal cliques over the task intervals to post All-Different constraints over the allocation variables. However, when direct successors are assigned during the search, single tasks can be replaced by task chains with a longer duration and possibly added to some of the original cliques to strengthen the model. We propose a new global constraint to efficiently maintain all the maximal cliques over the task chains of an FJS problem upon successor assignment, which can be used to add variables to Dynamic All-Different constraints posted on the original cliques instead of static ones. Experiments on random and real-world instances of the Gate Allocation Problem, a classic application of FJS, show that our approach can outperform former models and state-of-the-art MIP solver by orders of magnitude.
Fichier sous embargo
Fichier sous embargo
1 7 1
Année Mois Jours
Avant la publication
samedi 29 novembre 2025
Fichier sous embargo
samedi 29 novembre 2025
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04314287 , version 1 (29-11-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Nicolas Barnier, Ruixin Wang. Dynamic All-Different and Maximal Cliques Constraints for Fixed Job Scheduling. IEEE 35th International Conference on Tools with Artificial Intelligence, IEEE, Nov 2023, Atlanta (GA), United States. pp.385--392, ⟨10.1109/ICTAI59109.2023.00062⟩. ⟨hal-04314287⟩

Collections

ENAC
2 Consultations
12 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More