An incremental constraint solver, the DeltaBlue algorithm maintains … cost of finding a new solution after each … [p. 61] The DeltaBlue algorithm [for constraint solving] is currently being … [refs], a user-interface construction kit using constraints, and Voyeur [ref]. a parallel program visualization and debugging project at the University …
Google-1
Google-2
Copyright clearance needed for quotation.