Design and construction of organic computing systems
the distributed constraint satisfaction problem : formalization and algorithms .