Using “weaker” functions for constraint propagation over real numbers
Éric Monfroy · 1999
In this paper we argue for an alternative way of designing solvers based on interval arithmetic.We achieve constraint propagation over real numbers using chaotic iteration.This is carried out in two steps: first involving computationally "cheap" functions for reducing constraint satisfaction problems followed by computationally "expensive" functions for enforcing a local consistency property.This technique improves the global performances of the propagation mechanism without adding any new mathematical machinery.