What does bm do? Maximum checking level(mcl)array Size= number of variables x domain size mcli, k] holds the index of the deepest variable that v=k, kEDi, was checked against Minimum backup level(mbl)array Size= number of variablesx 1 mbl[i] the index of the shallowest past variable that has changed value since v[i] was the current variable What does bm do? mcli k]< mbl] means the previous consistency check between v-k and some variable in the past of mcli, k] failed and will still fail because mcli, k] hasnt been changed mcll, k>=mbll] means[=k passed consistency checking for all variables in the past of mbl1]. Vi] only needs to be checked for consistency with the new variables, those in the future of mbl[]What does BM do? • Maximum checking level (mcl) array – Size = Number of variables x domain size – mcl[i,k] holds the index of the deepest variable that v[i] = k, k ∊ Di , was checked against • Minimum backup level (mbl) array – Size = Number of variables x 1 – mbl[i] the index of the shallowest past variable that has changed value since v[i] was the current variable What does BM do? • mcl[i,k] < mbl[i] means the previous consistency check between v[I] = k and some variable in the past of mcl[i,k] failed and will still fail because mcl[i,k] hasn’t been changed • mcl[I,k] >= mbl[i] means v[i] = k passed consistency checking for all variables in the past of mbl[i]. V[i] only needs to be checked for consistency with the new variables, those in the future of mbl[i]