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.
Type de document :
Communication dans un congrès
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France, 2007, JFPC07
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00151124
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 1 juin 2007 - 16:25:43
Dernière modification le : mercredi 10 octobre 2018 - 21:28:02
Document(s) archivé(s) le : jeudi 8 avril 2010 - 18:41:57

Fichier

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

Identifiants

  • 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, 2007, JFPC07. 〈inria-00151124〉

Partager

Métriques

Consultations de la notice

87

Téléchargements de fichiers

68