Term rewriting and all that
| Hi-index | 0.00 |
We are interested in investigating the confluence properties of cooperating constraint solvers. To this end, we model solvers as reductions that transform constraint networks, we define the notion of insensitivity to a superset relation, and show that, if each solver of a given set of solvers is insensitive to the same terminating superset relation, then any combination of these solvers is confluent. By means of this modular approach, we study the relationship between confluence and maintaining certain levels of local consistency and we demonstrate the confluence of a solver for a global finite-domain constraint that consists of several reductions.