2. Asynchronous Backtracking Send oK? messages m少 If the agent finds no satisfying value for its variable it extracts and records a list of conflicts(a conflict being a partial assignment violating at least one constraint) Update view asynch Is Backtrack Extract record inflicts Send OK? messages If one of the conflicts is the empty set, this means any overset of i is a conflict, so that there is no solution to the dscp. the agent broadcasts a NO SOLUTION message and terminates Update viewIf the agent finds no satisfying value for its variable, it extracts and records a list of conflicts (a conflict being a partial assignment violating at least one constraint) Extract & record conflicts Try to choose value Send OK? messages possible view Update view OK? message good violation! 2. Asynchronous Backtracking If one of the conflicts is the empty set, this means any overset of {} is a conflict, so that there is no solution to the DSCP. The agent broadcasts a NO_SOLUTION message and terminates. Extract & record conflicts NO_SOLUTION {}? yes Try to choose value Send OK? messages possible view Update view good violation! 2. Asynchronous Backtracking impossible Change value Wait check Broadcast and terminate impossible Change value Wait check OK? message