Communications of the ACM · 1990 · 288 citations · 10 references
ComputingComputer ScienceAlgorithmsKnowledge RepresentationConstraint ManagementConstraint ProgrammingConstraint RepresentationConstraint SatisfactionConstraint SolvingConstraint PropagationHierarchyIncremental ComputationIncremental ImplementationIncremental Solving
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.
10
The Constraint Logic Programming Language CHIP.
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis et al. · Future Generation Computer Systems · 1988 · 498 citations
Alan Borning, Robert Duisberg, Bjorn Freeman‐Benson et al. · 1987 · 149 citations
Constraint Hierarchies and Logic Programming.
Alan Borning, Michael J. Maher, Amy Martindale et al. · 1989 · 111 citations