| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Les réseaux de contraintes quantitatives ultimement périodiques (UPSTP)
Résumé : 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.
https://hal.inria.fr/inria-00000077
Contributor : Christine Solnon <>
Submitted on : Thursday, May 26, 2005 - 12:43:07 PM
Last modification on : Tuesday, December 8, 2020 - 3:42:11 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:33:36 PM
Contributor : Christine Solnon <>
Submitted on : Thursday, May 26, 2005 - 12:43:07 PM
Last modification on : Tuesday, December 8, 2020 - 3:42:11 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:33:36 PM