Expressions Itérées en Programmation par Contraintes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Expressions Itérées en Programmation par Contraintes

Lucas Bordeaux
  • Function : Author
  • PersonId : 840367
Youssef Hamadi
  • Function : Author
  • PersonId : 840368
Claude-Guy Quimper
  • Function : Author
  • PersonId : 840369

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00151124 , version 1

Cite

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 View
52 Download

Share

Gmail Facebook Twitter LinkedIn More