Les réseaux de contraintes quantitatives ultimement périodiques (UPSTP)
Abstract
Dans cette étude, nous considérons des réseaux de contraintes quantitatives temporelles ou spatiales évoluant au cours du temps de manière périodique. Ces réseaux de contraintes sont une extension des STP (Simple Temporal Problems). Nous étudions les propriétés de base de ces réseaux de contraintes, et nous proposons également un algorithme de propagation locale de contraintes. Nous montrons que pour plusieurs cas intéressants cet algorithme est complet et donc résout le problème de la cohérence.