Controlled propagation in continuous numerical constraint networks

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2005, Pages 377-382

  Goualard, Frédéric ^a   Granvilliers, Laurent ^a  

^a INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

Author keywords

Constraint propagation; Directional consistency; Local consistency

Indexed keywords

CONSTRAINT PROPAGATION; DIRECTIONAL CONSISTENCY; DISCRETE PROBLEMS; LOCAL CONSISTENCY;

ALGORITHMS; COMPUTATIONAL METHODS; CONTROL SYSTEMS; DECOMPOSITION; INFORMATION THEORY; NUMERICAL METHODS;

CONSTRAINT THEORY;

EID: 33644524960     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1066677.1066765     Document Type: Conference Paper

References (11)

1. F. Benhamou, F. Goualard, L. Granvilliers, and J.-F. Puget. Revising Hull and Box Consistency. In Procs. of ICLP '99, pages 230-244. The MIT Press, 1999.
2. F. Benhamou and W. Older. Applying interval arithmetic to real, integer and boolean constraints. JLP, 32(1):1-24, 1997.
3. E. Davis. Constraint propagation with interval labels. A.I., 32:281-331, 1987.
4. R. Dechter. Constraint Processing. Morgan Kaufmann, 1st edition, 2003.
5. R. Dechter and J. Pearl. Network-based heuristics for constraint satisfaction problems. A.I., 34:1-38, 1987.
6. E. Freuder. A sufficient condition for backtrack-free search. J. ACM, 29(1):24-32, 1982.
7. F. Goualard and F. Benhamou. A visualization tool for constraint program debugging. In Procs. of ASE '99, pages 110-117. IEEE Computer Society, 1999.
8. A. Mackworth. Consistency in networks of relations. A.I., 1(8):99-118, 1977.
9. U. Montanari. Networks of constraints: Fundamental properties and applications to picture processing. Information Science, 7(2):95-132, 1974.
10. R. Moore. Interval Analysis. Prentice-Hall, 1966.
11. D. Waltz. Understanding line drawings of scenes with shadows. In The Psychology of Computer Vision, chapter 2, pages 19-91. McGraw-Hill, 1975.