| HAL-Inria | Publications, software ... of Inria's scientists |
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.
https://hal.inria.fr/inria-00000055
Contributor : Christine Solnon Connect in order to contact the contributor
Submitted on : Wednesday, May 25, 2005 - 10:45:01 AM
Last modification on : Friday, October 22, 2021 - 3:33:07 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:31:45 PM
Contributor : Christine Solnon Connect in order to contact the contributor
Submitted on : Wednesday, May 25, 2005 - 10:45:01 AM
Last modification on : Friday, October 22, 2021 - 3:33:07 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:31:45 PM