Basic Operators for Solving Constraints via Collaboration of Solvers-Reference-Cited by-同舟云学术

Basic Operators for Solving Constraints via Collaboration of Solvers

Published:2001 Issue: Volume: Page:142-156
ISSN:0302-9743
Container-title:Artificial Intelligence and Symbolic Computation
language:
Short-container-title:

Author:

Castro Carlos,Monfroy Eric

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44990-6_11

Reference21 articles.

1. F. Arbab and E. Monfroy. Heterogeneous distributed cooperative constraint solving using coordination. ACM Applied Computing Review, 6:4–17, 1999.

2. F. Benhamou, F. Goualard, L. Granvilliers, and J. Puget. Revising Hull and Box Consistency. In Proc. of International Conference on Logic Programming, pages 230–244, Las Cruces, USA, 1999. The MIT Press.

3. Lect Notes Comput Sci;F. Benhamou,1996

4. H. Beringer and B. DeBacker. Combinatorial Problem Solving in Constraint Logic Programming with Cooperative Solvers. In C. Beierle and L. Plümer, editors, Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence. North Holland, 1995.

5. Research Report;A. Bockmayr,1997

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation;Advances in Artificial Intelligence – SBIA 2004;2004

2. A Rule Language for Interaction;Lecture Notes in Computer Science;2004

3. Integration and Optimization of Rule-Based Constraint Solvers;Logic Based Program Synthesis and Transformation;2004

4. A Flexible Meta-solver Framework for Constraint Solver Collaboration;KI 2003: Advances in Artificial Intelligence;2003

5. Negotiation as a Generic Component Coordination Primitive;Distributed Applications and Interoperable Systems;2003