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 <>
Submitted on : Friday, June 1, 2007 - 4:25:43 PM
Last modification on : Wednesday, October 10, 2018 - 9:28:02 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

111

Files downloads

88