Expressions Itérées en Programmation par Contraintes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Expressions Itérées en Programmation par Contraintes

Lucas Bordeaux
  • Fonction : Auteur
  • PersonId : 840367
Youssef Hamadi
  • Fonction : Auteur
  • PersonId : 840368
Claude-Guy Quimper

Résumé

Pour exprimer certains problèmes avancés d'optimisation et de décision, il est u tile d'imposer des contraintes sur des expressions complexes mettant en oeuvre des opérations imbriquées comme $\sum_i$, $\min_i$, etc. Par exemple, nous avons typiquement besoin de ce type d'expressions pour écrire l'espérance d'une fonction dont les paramètres incluent des variables aléatoires. Nous montrons que les expressions itérées représentent une construction claire et naturelle permettant d'exprimer une large palette de problèmes qui sont hors de portée des résolveurs CP classiques, notamment des problèmes de programmation par contraintes stochastique. Nous présentons des résultats préliminaires qui montrent comment ces constructions peuvent s'intégrer dans un résolveur CP.
Fichier principal
Vignette du fichier
26.pdf (218.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00151124 , version 1 (01-06-2007)

Identifiants

  • HAL Id : inria-00151124 , version 1

Citer

Lucas Bordeaux, Youssef Hamadi, Claude-Guy Quimper, Horst Samulowitz. Expressions Itérées en Programmation par Contraintes. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France. ⟨inria-00151124⟩

Collections

JFPC07
37 Consultations
54 Téléchargements

Partager

Gmail Facebook X LinkedIn More