Modelling and propagating temporal constraints for scheduling
Modélisation et propagation de contraintes temporelles pour la planification
Résumé
La définition et la résolution d'un problème d'occurrences contraintes sont abordées. Celui-ci est pose en considérant un graphe dont les nœuds sont des domaines d'occurrences possibles et les arcs des relations temporelles symboliques entre intervalles et disjonctives. Résoudre le problème c'est éliminer, en réduisant les domaines, les occurrences rendues impossibles par les contraintes relationnelles. Ceci peut être fait partiellement au moyen d'un algorithme de propagation de contraintes, dit de dérivation locale