Décomposition temporelle et caractérisation de solutions admissibles pour le problème d'ordonnancement à une machine

Nous proposons une approche par caracterisation de solutions admissibles pour la decomposition temporelle du probleme d'ordonnancement a une machine avec contraintes de dates limites. La technique de caracterisation repose sur l'utilisation de regles d'analyse sous contraintes. Elles permettent de determiner les positions admissibles de chaque tâche dans une sequence, representees par des intervalles de rangs. Une procedure de decomposition basee sur des comparaisons d'intervalles de rangs est developpee pour regrouper les tâches de localisation proche dans toute solution admissible. Des resultats experimentaux sont presentes pour valider notre approche en tant que phase de preparation a la recherche d'une solution, que celle-ci soit menee par une procedure de resolution automatique, ou par un operateur humain dans un contexte de cooperation homme-ordinateur.