https://123dok.net/document/ozl7l3ry-algorithms-and-ordering-heuristics-for-distributed-constraint-satisfaction-problems.html