Dans cet exposé nous nous intéressons à déterminer, à priori, les effets d'un algorithme de filtrage, qui constitue le coeur du paradigme de la programmation par contraintes.
Dans une première partie, nous proposerons une introduction à la propagation de contraintes dans le cadre d'un solveur de contraintes (Choco). Nous montrerons ensuite que son instrumentation, en vue d'intégrer des résultats théoriques pour prédire les effets d'un algorithme de filtrage, nécessite de profondes modifications.
Dans une seconde partie, nous étudierons le cas de d'un algorithme lié à la contrainte maintenant une clique de contraintes de différences entre des variables : AllDifferent. Nous donnerons un développement asymptotique de la probabilité que cet algorithme soit utile dans le solveur.

Travail commun avec Danièle Gardy et Charlotte Truchet.