Skip to Main content Skip to Navigation
Conference papers

Une procédure générale d'élimination d'isomorphismes pour les problèmes de configuration

Résumé : Une difficulté intrinsèque à la résolution de problèmes de configuration réside dans l'existence de nombreux isomorphismes structurels dans les solutions. Nous définissons deux procédures de recherche permettant la suppression de grandes portions de l'espace de recherche dont on montre qu'elles ne renferment que des solutions non canoniques. On y parvient grâce à un test en chaque noeud de l'arbre de recherche de complexité temporelle linéaire. Nous présentons des résultats sur un exemple de configuration simple mais représentatif de ce qu'on pourra obtenir sur des problèmes réels.
Complete list of metadata

https://hal.inria.fr/inria-00000055
Contributor : Christine Solnon <>
Submitted on : Wednesday, May 25, 2005 - 10:45:01 AM
Last modification on : Monday, March 30, 2020 - 8:41:08 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:31:45 PM

Files

Identifiers

  • HAL Id : inria-00000055, version 1

Citation

Laurent Hénocque, Mathias Kleiner, Nicolas Prcovic. Une procédure générale d'élimination d'isomorphismes pour les problèmes de configuration. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.335-344. ⟨inria-00000055⟩

Share

Metrics

Record views

110

Files downloads

65