Une stratégie de recherche basée sur la substituabilité

Mohammed Rezgui 1, * Jean-Charles Régin 1 Arnaud Malapert 1, *
* Auteur correspondant
Résumé : Nous introduisons une nouvelle stratégie de recherche pour énumérer toutes les solutions d'un problème de satisfaction de contraintes. L'idée principale de cette stratégie consiste à énumérer des solutions génériques à partir desquelles toutes les solutions peuvent être efficacement calculées. Les solutions génériques contiennent des valeurs qui sont substituables à toutes les autres. Notre stratégie provoque l'apparition des valeurs substituables. Ainsi, à la différence d'une stratégie de recherche classique, notre méthode économise du temps en générant seulement quelques solutions génériques. Nous montrons expérimentalement que notre approche donne des résultats intéressants sur des problèmes ayant un grand nombre de solutions.
Type de document :
Communication dans un congrès
JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes - 2012, May 2012, Toulouse, France. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00811851
Contributeur : Mohammed Rezgui <>
Soumis le : jeudi 11 avril 2013 - 11:07:46
Dernière modification le : jeudi 7 avril 2016 - 12:55:13
Document(s) archivé(s) le : vendredi 12 juillet 2013 - 04:05:26

Fichier

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

Identifiants

  • HAL Id : hal-00811851, version 1

Collections

Citation

Mohammed Rezgui, Jean-Charles Régin, Arnaud Malapert. Une stratégie de recherche basée sur la substituabilité. JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes - 2012, May 2012, Toulouse, France. 2012. <hal-00811851>

Partager

Métriques

Consultations de
la notice

186

Téléchargements du document

445