Traitement des CSP partiellement symétriques

Résumé : De nomb reux CSP contiennent un mélange de contraintes symétriques et asymétriques. Nous présentons une approche générale qui permet d'appliquer des méthodes d'élimination de symétries connues à la partie symétrique d'un CSP puis de chercher une solution au problème entier en intégrant postérieurement les contraintes asymétriques. Nous étudions aussi le cas particulier des problèmes d'optimisaition où seule la fonction de coût à minimiser empêche les symétries. Nous montrons expérimentalement que dans ce contexte là nous pouvons accélérer la résolution de certains problèmes
Type de document :
Communication dans un congrès
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00085805
Contributeur : Laurent Henocque <>
Soumis le : vendredi 14 juillet 2006 - 15:06:35
Dernière modification le : mercredi 11 avril 2018 - 11:56:05
Document(s) archivé(s) le : mardi 6 avril 2010 - 00:09:41

Fichier

Identifiants

  • HAL Id : inria-00085805, version 1

Collections

Citation

Florent Verrroust, Nicolas Prcovic. Traitement des CSP partiellement symétriques. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, 2006. 〈inria-00085805〉

Partager

Métriques

Consultations de la notice

93

Téléchargements de fichiers

26