Méthodes de filtrage local sur les domaines continus

Dans cette section, nous étudions à travers plusieurs exemples les limites des méthodes usuelles de résolution par intervalles, et en particulier sur les problèmes de satisfaction de contraintes de distance. Nous verrons les limites de ces techniques : Localité et Convergence asymptotique, ainsi que les problèmes que posent les problèmes de satisfaction de contraintes de distances : propagation de l'erreur et décomposition des points. Ces méthodes sont basées sur la notion d'arc consistance dont nous avons déjà parlé dans la section 2.1 et sur l'arithmétique des intervalles.