Programmation par contraintes sur les séquences infinies

Xavier Dupont 1 Arnaud Lallouet 1 Y.C. Law 2 J.H.M. Lee 2 C.F.K. Siu 2
1 Equipe CODAG - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
Résumé : La programmation par contraintes est habituellement utilisée pour résoudre des problèmes combinatoires pour lesquels l'ensemble des solutions est de cardinalité finie. Cette approche, bien adaptée aux problèmes d'ordonnancement, est moins applicable aux problèmes de planification, pour lesquels l'horizon doit être borné, et est complètement inapplicable à des problèmes temporels sans horizon. Nous proposons ici un cadre alternatif dans lequel les variables sont des séquences symboliques infinies. Il devient ainsi possible de spécifier des contraintes sur ces variables et de générer des solutions qui satisfont ces contraintes. Bien que chaque solution prise indépendamment soit de taille infinie, et que le nombre de solutions lui-même soit en général infini, il est possible de représenter l'ensemble des solutions de telle sorte qu'une solution arbitraire puisse être générée de façon efficace.
Type de document :
Communication dans un congrès
JFPC 2012, May 2012, Toulouse, France. 2012
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00811429
Contributeur : Xavier Dupont <>
Soumis le : mercredi 10 avril 2013 - 12:25:34
Dernière modification le : mardi 5 juin 2018 - 10:14:40
Document(s) archivé(s) le : lundi 3 avril 2017 - 03:35:51

Fichier

jfpc2012_submission_44.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00811429, version 1

Citation

Xavier Dupont, Arnaud Lallouet, Y.C. Law, J.H.M. Lee, C.F.K. Siu. Programmation par contraintes sur les séquences infinies. JFPC 2012, May 2012, Toulouse, France. 2012. 〈hal-00811429〉

Partager

Métriques

Consultations de la notice

117

Téléchargements de fichiers

67