Recomputation is a technique for saving state. It recomputes the variable store from some save point in the past. It is faster than previous search because there is no search step but just a "bulk propagation". It is a way to save the variable store with data from the constraint store.
#17 is another kind of state saving technique.
Recomputation is a technique for saving state. It recomputes the variable store from some save point in the past. It is faster than previous search because there is no search step but just a "bulk propagation". It is a way to save the variable store with data from the constraint store.
#17 is another kind of state saving technique.