Using similarity criteria to make negotiation trade-offs
the distributed constraint satisfaction problem : formalization and algorithms .