toulbar2
NC bucket sort

maintains a sorted list of variables having non-zero unary costs in order to make NC propagation incremental.

NC propagation will revise only variables in the buckets associated to costs sufficiently large wrt current objective bounds.