Saving Redundant Messages in BnB-ADOPT

A message msg sent from i to j reference algorithm for distributed constraint optimization is redundant if at some future time t, the collective effect of (DCOP), defined as follows. There is a finite number of other messages arriving j between msg and t would cause agents, each holding one variable that can take values from a the same effect, so msg could have been avoided.