Auteur / Autrice : | Hervé Deleau |
Direction : | Jin-Kao Hao |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2005 |
Etablissement(s) : | Angers |
Mots clés
Mots clés contrôlés
Résumé
Cette thèse propose une approche hybride générique pour résoudre les problèmes de satisfaction de contraintes (CSP). Après avoir présenté les CSP et les méthodes couramment utilisées pour les résoudre, nous présentons notre approche, combinant des stratégies inspirées de la recherche arborescente et de la recherche locale. Le cadre unificateur est celui d'une population d'individus, lesquels correspondent, non pas à des solutions, mais à des sous-ensembles de l'espace de recherche. La propagation de contraintes et la découpe de domaines contribuent à réduire les individus à des sous-ensembles plus restreints; la recherche locale examine des solutions (appelées "points") dans un individu. Notre approche est évaluée expérimentalement sur un ensemble de problèmes. Enfin, nous proposons de nouvelles perspectives et adaptations possibles de notre approche sur d'autres types de problèmes.