Asynchronous Forward-Checking Academic Article uri icon


  • Agents assign their variables only when they hold the current partial assignment (CPA). The CPA is a unique message that is passed between agents, and carries the partial assignment that agents attempt to extend into a complete solution by assigning their variables on it. In that sense one can think of the CPA as a unique token. Forward-checking is performed as follows. Every agent that sends the CPA forward sends copies of the CPA, in messages we term FC_CPA, to all agents whose assignments are not yet on the CPA (except for the …

publication date

  • January 1, 2008