The DeltaBlue algorithm: an incremental constraint hierarchy solver

Constraint programming allows the behavior of a program to be specified declaratively in terms of constraints. A constraint is a system-maintained assertion about the desired state of the program's data structures. To specify the behavior of a system of constraints more precisely, the authors have found it useful to separate constraints into levels… (More)