Download:
|
by Ying Zhang, Alan K. Mackworth
Principles and Practice of Constraint Programming: The Newport Papers
ftp://ftp.cs.brown.edu/pub/ppcp93/zhang.ps.Z
Add To MetaCart
Abstract:
We view constraints as relations and constraint satisfaction as a dynamic process of approaching a stable equilibrium. We have developed an algebraic model of dynamics, called Constraint Nets, to provide a real-time programming semantics and to model and analyze dynamic systems. In this paper, we explore the relationship between constraint satisfaction and constraint nets by showing how to implement various constraint methods on constraint nets. 1
Citations
|
755
|
Constraint Logic Programming
– Jaffar, Lassez
- 1987
|
|
739
|
Constraint Networks
– Dechter
- 1992
|
|
354
|
Networks of constraints: Fundamental properties and applications to picture processing
– Montanari
- 1974
|
|
247
|
The Constraint Logic Programming Language CHIP
– Dincbas
|
|
245
|
Semantics foundations of concurrent constraint programming
– Saraswat, Rinard, et al.
- 1991
|
|
243
|
Constraint Satisfaction
– Mackworth
- 1987
|
|
99
|
Introduction to Dynamic Systems: Theory, Models, and Applications
– Luenberger
- 1979
|
|
56
|
Complexity of k-tree structured constraint satisfaction problems
– Freuder
- 1990
|
|
40
|
The relaxation method for linear inequalities
– Agmon
- 1954
|
|
37
|
The method of projections for finding the common point of convex sets
– Gubin, Polyak, et al.
- 1967
|
|
25
|
Constraint Logic Programming Language CAL
– Aiba
|
|
22
|
General systems theory: Mathematical foundations
– Mesarovic, Y
- 1975
|
|
22
|
Constraint Methods for Neural Networks and Computer Graphics
– Platt
- 1989
|
|
16
|
Least constraint: A framework for the control of complex mechanical systems
– Pai
- 1991
|
|
10
|
Constraint nets: A semantic model for realtime embedded systems
– Zhang, Mackworth
- 1992
|
|
9
|
the robot do the right thing
– Will
- 1994
|
|
8
|
Completable representations of constraint satisfaction problems
– Freuder
- 1991
|
|
6
|
Exact solution in linear time of networks of constraints using perfect relaxation
– Rossi, Montanari
- 1989
|
|
6
|
New iterative methods for linear inequalities
– Yang, Murty
- 1992
|
|
5
|
New methods for linear inequalities
– Censor, Elfving
- 1982
|
|
3
|
Parallel and distributed constraint satisfaction: Complexity, algorithms and experiments
– Zhang, Mackworth
- 1993
|
|
2
|
Discrete Dynamical Systems: Theory and Applications
– Sandfur
- 1990
|