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

Mohammed Rezgui 1, * Jean-Charles Régin 1 Arnaud Malapert 1, *
* Corresponding author
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
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.
Complete list of metadatas

https://hal.inria.fr/hal-00811851
Contributor : Mohammed Rezgui <>
Submitted on : Thursday, April 11, 2013 - 11:07:46 AM
Last modification on : Monday, November 5, 2018 - 3:48:02 PM
Long-term archiving on : Friday, July 12, 2013 - 4:05:26 AM

File

SBS_Search.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00811851⟩

Share

Metrics

Record views

245

Files downloads

609