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
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
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〉
