HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Expressions Itérées en Programmation par Contraintes

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00151124
Contributor : Sylvain Soliman Connect in order to contact the contributor
Submitted on : Friday, June 1, 2007 - 4:25:43 PM
Last modification on : Tuesday, May 3, 2022 - 3:14:03 PM
Long-term archiving on: : Thursday, April 8, 2010 - 6:41:57 PM

File

26.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00151124, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

36

Files downloads

52