toulbar2
|
maintains a sorted list of variables having non-zero unary costs in order to make NC propagation incremental.
More...
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.