MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Constraint programming in constraint nets (1995) [16 citations — 6 self]

Download:
Download as a PDF | Download as a PS
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