An incremental constraint solver

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.

[1]  Alan Borning,et al.  ThingLab: a constraint-oriented simulation laboratory , 1979 .

[2]  Alan Borning,et al.  The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory , 1981, TOPL.

[3]  James Arthur Gosling,et al.  Algebraic constraints , 1983 .

[4]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[5]  Chris Carter,et al.  The design of a program editor based on constraints , 1984 .

[6]  Robert Adamy Duisberg.  Constraint-based animation: temporal constraints in the animus system , 1986 .

[7]  Ramachandran Bharath,et al.  An introduction to Prolog , 1986 .

[8]  David Maier,et al.  The Filter Browser Defining Interfaces Graphically , 1987, ECOOP.

[9]  Bjørn N. Freeman-Benson,et al.  Constraint hierarchies , 1987, OOPSLA '87.

[10]  David Maier,et al.  Automatic generation of interfaces using constraints , 1987 .

[11]  Alan Borning.  Graphically Defining New Building Blocks in Thinglab , 1987, SGCH.

[12]  Pascal Van Hentenryck,et al.  The Constraint Logic Programming Language CHIP , 1988, FGCS.

[13]  Wilf R. LaLonde,et al.  A Smalltalk Window System Based on Constraints , 1988, OOPSLA.

[14]  Bjørn N. Freeman-Benson.  A Module Mechanism for Constraints in Smalltalk , 1989, OOPSLA.

[15]  Michael J. Maher,et al.  Constraint Hierarchies and Logic Programming , 1989, ICLP.

[16]  B.N. Freeman-Benson,et al.  The DeltaBlue algorithm: an incremental constraint hierarchy solver , 1989, Eighth Annual International Phoenix Conference on Computers and Communications. 1989 Conference Proceedings.

[17]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.