| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Un compromis temps-espace pour la résolution de réseaux de contraintes par décomposition
Résumé : Nous revenons ici sur une méthode de résolution de CSP par décomposition introduite dans [16] et qui est appelée Regroupement Cyclique. Alors que [16] se limitait à présenter uniquement les principes de la méthode, dans cette contribution, nous montrons comment celle-ci peut être rendue opérationnelle, notamment par une exploitation idoine des propriétés des sous-graphes triangulés. Dans un second temps, nous présentons des résultats formels qui démontrent que le Regroupement Cyclique réalise effectivement un compromis temps-espace en termes de complexités théoriques. Nous concluons cet article en présentant quelques résultats expérimentaux qui montrent que le Regroupement Cyclique peut être efficace en pratique.
https://hal.inria.fr/inria-00000073
Contributor : Christine Solnon Connect in order to contact the contributor
Submitted on : Thursday, May 26, 2005 - 11:28:50 AM
Last modification on : Thursday, October 21, 2021 - 4:00:25 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:33:32 PM
Contributor : Christine Solnon Connect in order to contact the contributor
Submitted on : Thursday, May 26, 2005 - 11:28:50 AM
Last modification on : Thursday, October 21, 2021 - 4:00:25 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:33:32 PM