Bibliography

APR90

Paolo Avesani, Anna Perini, and Francesco Ricci.
Cool: An object system with constraints.
In Jean Bezivin, Bertrand Meyer, , and Jean-Marc Nerson, editors, Technology of Object-Oriented Languages and Systems - Proceedings of the Second International Conference TOOLS 90, pages 221-228, Paris, June 1990.

BAFB96

Alan Borning, Richard Anderson, and Bjorn Freeman-Benson.
Indigo: A local propagation algorithm for inequality constraints.
In Proceedings of the 1996 ACM Symposium on User Interface Software and Technology, pages 128-136, 1996.

BFBW92

Alan Borning, Bjorn Freeman-Benson, and Molly Wilson.
Constraint hierarchies.
Lisp and Symbolic Computation, 5(3):223-270, September 1992.

Coh90

Jacques Cohen.
Constraint logic programming languages.
Communications of the ACM, 33(7):52-68, July 1990.

Dav87

Ernest Davis.
Constraint propagation with interval labels.
Artificial Intelligence, 32(3):281-331, 1987.

FBB92

Bjorn Freeman-Benson and Alan Borning.
Integrating constraints with an object-oriented language.
In Proceedings of the 1992 European Conference on Object-Oriented Programming, pages 268-286, June 1992.

Fru98

Thom Fruühwirth.
Theory and practice of constraint handling rules.
Journal of Logic Programming, 37, October 1998.

HMY96

Hiroshi Hosobe, Satoshi Matsuoka, and Akinori Yonezawa.
Generalized local propagation: A framework for solving constraint hierarchies.
In E. C. Freuder, editor, Second International Conference on Principles and Practice of Constraint Programming (CP96), Lecture Notes in Computer Science, vol. 1118, pages 237-251. Springer-Verlag, August 1996.

Hyv92

Eero Hyvönen.
Constraint reasoning based on interval arithmetic: the tolerance prapagation approach.
Artificial Intelligence, 58(1-3):71-112, 1992.

JL87

Joxan Jaffar and Jean-Louise Lassez.
Constraint logic programming.
In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, pages 111-119, Munich, Germany, January 1987. ACM Press.

Kum92

Vipin Kumar.
Algorithms for constraint-satisfaction problems: A survey.
Artificial Intelligence, 13(1):32-44, 1992.

LFBB94

Gus Lopez, Bjorn Freeman-Benson, and Alan Borning.
Implementing constraint imperative programming languages: The kaleidosope'93 virtual machine.
In Proceedings of the 1994 ACM Conference on Object-Oriented Programming Systems, Languages, pages 259-271. ACM, October 1994.

Mac77

Alan K. Mackworth.
Consistency in networks of relations.
Artificial Intelligence, 8(1):99-118, 1977.

Mac92

Alan K. Mackworth.
The logic of constraint satisfaction.
Artificial Intelligence, 58(1-3):3-20, 1992.

MF90

Sanjay Mittal and Brian Falkenhainer.
Dynamic constraint satisfaction problems.
In Proceedings of the 8th National Conference on Artificial Intelligence, pages 25-32, Boston, MA, August 1990. AAAI Press.

MH86

R. Mohr and T. C. Henderson.
Arc and path consistency revisited.
Artificial Intelligence, 28:225-233, 1986.

MJ92

Steven Minton and Mark D. Johnston.
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems.
Artificial Intelligence, 58(1-3):161-205, 1992.

San95

Michael Sannella.
Principles and practice of constraint programming : the Newport papers, chapter The SkyBlue Constraint Solver and Its Applications.
MIT Press, 1995.

Smo95

Gert Smolka.
The Oz programming model.
In Jan van Leeuwen, editor, Computer Science Today, Lecture Notes in Computer Science, vol. 1000, pages 324-343. Springer-Verlag, Berlin, 1995.

SRF96

Mihaela Sabin, Robert D. Russell, and Eugene C. Freuder.
Constraint-based modeling: From diagnosis and configuration to network management.
In Proceedings of the CP96 Worshop on Applications of Constraint Programming, Cambridge, MA, August 1996.

Wil91

Michael Wilk.
Equate: An object-oriented constraint solver.
In Proceedings of the 1991 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 286-298. ACM, October 1991.

Zan92

Brad Vander Zanden.
Languages for Developing User Interfaces, chapter An Active-Value-Spreadsheet Model for Interactive Languages, pages 183-210.
Jones and Bartlett Publishers, Inc, 1992.

ZMGS94

Brad T. Vander Zanden, Brad A. Myers, Dario A. Giuse, and Pedro A. Szekely.
Integrating pointer variables into one-way constraint models.
In ACM Transactions on Computer-Human Interaction (TOCHI), volume 1, pages 161-213, June 1994.