Parallélisation de la recherche arborescente des CSP avec distribution profondeur variable

Introduction Les probl#mes de satisfaction de contraintes (CSP) #tant NP-complets, ils deviennent souvent rapidement intraitables lorsque leur taille grandit. La parall#lisation de la recherche d'une solution est un moyen de diviser le temps de r#solution par un facteur important et ainsi de permettre l'obtention d'une solution dans un d#lai beaucoup plus raisonnable qu'auparavant. Nous nous int#ressons ici # la parall#lisation de la recherche en profondeur d'abord, eoeectu#e par l'algorithme Backtrack lorsqu'on d#sire obtenir une seule solution. Lorsqu'il s'agit de trouver toutes les solutions d'un probl#me, ce qui implique de d#velopper l'arbre de recherche en entier, on arrive # obtenir des performances tout # fait satisfaisantes : l'acc#l#ration est proche de la lin#arit#, c'est-#-dire que le temps de r#solution est pratiquement divis# par le nombre de processus engag#s, tant en th#orie [KGR94, Prc96] qu'en pratique [FM87, FK88, RKR87]. Par contre, quand on ne souhaite tr