A distributed realization for constraint satisfaction Chapter uri icon