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