An incremental constraint solver
Bjorn N. Freeman-Benson, John H. Maloney, Alan H. Borning · Communications of the ACM · 1990
An incremental constraint solver, the DeltaBlue algorithm maintains an evolving solution to the constraint hierarchy as constraints are added and removed. DeltaBlue minimizes the cost of finding a new solution after each change by exploiting its knowledge of the last solution.