the distributed constraint satisfaction problem : formalization and algorithms .
dynamic backtracking .