Backtracking distribué multi-variables avec sessions.
Résumé
Cet article est un résumé français de l’article Multi-variable Distributed Backtracking with Sessions [3]. Leformalisme des CSP Distribués (DisCSP) étend le mo-dèle CSP classique pour représenter et résoudre des pro-blèmes de décision ne pouvant être résolus de manièrecentralisée sur une seule machine, pour des raisons di-verses (e.g., taille excessive ou privacité). Dans cet ar-ticle, nous proposons un algorithme complet de réso-lution de DisCSP, nommé Backtracking distribué avecsessions (DBS), qui a la particularité de gérer les DisCSPoù chaque agent encapsule un sous-problème composéde plusieurs variables et contraintes. Nous prouvons quel’algorithme est correct et complet, et donnons des ré-sultats expérimentaux prometteurs