Traitement des CSP partiellement symétriques

Abstract

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ème