Interesting areas of related research are linear and non linear programming. P. Marti and M. Rueher. A distributed cooperating constraints solving system . The last three approaches represent partial or complete modification to the underlying constraint solving mechanism. This type of technological innovation is not easy to come up with.
Propagation based constraint languages and tools are widely available.
A distributed cooperating constraints solving system . Interval Constraint methods and techniques from numerical analysis. P. Marti and M. Rueher. A Distributed Cooperating Constraint Solving System . Therefore , such frameworks are not well suited here since we want to stay on the same interpretation domain.