Implementing constraint propagation by composition of reductions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2916, Issue , 2003, Pages 300-314

  Granvilliers, Laurent ^a   Monfroy, Eric ^a  

^a UNIVERSITÉ DE NANTES   (France)

Author keywords

Chaotic iteration; Composition; Constraint propagation; Design pattern; Dynamic strategy; Software architecture

Indexed keywords

ALGORITHMIC APPROACH; CHAOTIC ITERATION; COMMUTATIVITY; CONSTRAINT PROPAGATION; CONSTRAINT SATISFACTION PROBLEMS; DESIGN PATTERNS; DYNAMIC BEHAVIORS; DYNAMIC STRATEGIES; NUMERICAL COMPUTATIONS; OBJECT ORIENTED SOFTWARE; PARALLEL COMPUTATION; REDUCTION FUNCTION; SEARCH SPACES; STATIC PROPERTIES;

ALGORITHMS; CHEMICAL ANALYSIS; ITERATIVE METHODS; UNIFIED MODELING LANGUAGE; COMPUTATION THEORY; CONSTRAINT SATISFACTION PROBLEMS; LOGIC PROGRAMMING; MEMORY ARCHITECTURE; MODELING LANGUAGES; SOFTWARE ARCHITECTURE;

SOFTWARE ARCHITECTURE; OBJECT ORIENTED PROGRAMMING;

EID: 0346264957     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24599-5_21     Document Type: Conference Paper

References (25)

1. K. R. Apt. The Essence of Constraint Propagation. Theoretical Computer Science, 221(1-2):179-210, 1999.
2. K. R. Apt. The Role of Commutativity in Constraint Propagation Algorithms. ACM TOPLAS, 22(6):1002-1036, 2000.
3. F. Benhamou. Heterogeneous Constraint Solving. In Proceedings of ALP, volume 1139 of LNCS, pages 62-76. Springer, 1996.
4. F. Benhamou, D. McAllester, and P. Van Hentenryck. CLP(Intervals) Revisited. In Proceedings of ILPS, pages 124-138. MIT Press, 1994.
5. C. Bessière. Arc-Consistency and Arc-Consistency Again. Artificial Intelligence, 65:179-190, 1994.
6. D. Chazan and W. Miranker. Chaotic Relaxation. Linear Algebra and its Applications, 2:199-222, 1969.
7. E. C. Freuder. Synthesizing Constraint Expressions. CACM, 21(11):958-966, 1978.
8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1994.
9. R. Gennari. Arc Consistency Algorithms via Iterations of Subsumed Functions. In Proceedings of CL, volume 1861 of LNCS, pages 358-372. Springer, 2000.
10. L. Granvilliers. On the Combination of Interval Constraint Solvers. Reliable Computing, 7(6):467-483, 2001.
11. L. Granvilliers and G. Hains. A Conservative Scheme for Parallel Interval Narrowing. Information Processing Letters, 74:141-146, 2000.
12. L. Granvilliers and E. Monfroy. Declarative Modelling of Constraint Propagation Strategies. In Proceedings of ADVIS, volume 1909 of LNAI, pages 201-215. Springer, 2000.
13. G. Hains and M. H. van Emden. Towards high-quality, high-speed numerical computation. In Proceedings of PACRIM. IEEE Computer Society, 1997.
14. F. Laburthe and the OCRE project team. CHOCO: implementing a CP kernel. In Proceedings of TRICS, 2000.
15. O. Lhomme. Consistency Techniques for Numeric CSPs. In Proceedings of IJCAI, pages 232-238. Morgan Kaufman, 1993.
16. O. Lhomme, A. Gotlieb, and M. Rueher. Dynamic Optimization of Interval Narrowing Algorithms. Journal of Logic Programming, 37(1-2):165-183, 1998.
17. A. K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99-118, 1977.
18. E. Monfroy. Using Weaker Functions for Constraint Propagation over Real Numbers. In Proceedings of ACM SAC, pages 553-559. ACM Press, 1999.
19. E. Monfroy and J.-H. Réty. Chaotic Iteration for Distributed Constraint Propagation. In Proceedings of ACM SAC, pages 19-24. ACM Press, 1999.
20. A. S. Narin'yani. Subdefinite models and operations with subdefinite values. Preprint, USSR academy of sciences, Siberian Division, 400, 1982.
21. K. B. K. Ng, C. W. Choi, M. Henz, and T. Mueller. GIFT: A Generic Interface for Reusing Filtering Algorithms. In Proceedings of TRICS, 2000.
22. J.-F. Puget and M. Leconte. Beyond the Glass Box: Constraints as Objects. In Proceedings of ILPS, pages 513-527. MIT Press, 1995.
23. S. Ratschan. Continuous First-Order Constraint Satisfaction. In Proceedings of AISC, volume 2385 of LNCS, pages 181-195. Springer, 2002.
24. P. Van Hentenryck, L. Michel, and Y. Deville. Numerica: a Modeling Language for Global Optimization. MIT Press, 1997.
25. D. L. Waltz. Generating Semantic Descriptions from Drawings of Scenes with Shadows. In P. H. Winston, editor, The Psychology of Computer Vision. McGraw Hill, 1975.