applying constraint reasoning to real - world distributed task allocation .
the distributed constraint satisfaction problem : formalization and algorithms .