Dynamically Changing Priority Order
Define a non-negative integer value (priority value) that represents the priority order of a variable/agent.
- A variable/agent with a larger priority value has higher priority.
- Agents communicate their tentative value assignment with their priority values.
Ties are broken using alphabetical order.
Initial priority values are 0.
If an agent becomes dead-end, it changes its priority value to max+1, where max is the largest priority value of related agents.