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
https://hal.inria.fr/inria-00085805 Contributor : Laurent HenocqueConnect in order to contact the contributor Submitted on : Friday, July 14, 2006 - 3:06:35 PM Last modification on : Friday, October 22, 2021 - 3:33:25 AM Long-term archiving on: : Tuesday, April 6, 2010 - 12:09:41 AM
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. ⟨inria-00085805⟩