發送短信: Algorithms and ordering heuristics for distributed constraint satisfaction problems