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