Automatic analysis of composite solvers

Proceedings of the International Conference on Tools with Artificial Intelligence

Volumn , Issue , 2002, Pages 276-283

  Petrov, Evgueni ^a   Monfroy, Eric ^a  

^a UNIVERSITÉ DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONSTRAINT THEORY; DATA STRUCTURES; PROBLEM SOLVING; PROGRAM DIAGNOSTICS; SOFTWARE ENGINEERING;

CONSTRAINT PROGRAMMING; CONSTRAINT SOLVERS; COOPERATIVE CONSTRAINT; INTERACTION PATTERNS;

COMPUTER PROGRAMMING;

EID: 0036924380     PISSN: 10636730     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAI.2002.1180815     Document Type: Article

References (27)

1. K. Apt. The Essence of Constraint Propagation. Theoretical Computer Science, 221 (1-2):179-210, 1999.
2. F. Benhamou. Heterogeneous Constraint Solving. In Procs. of 5-th International Conference on Algebraic and Logic Programming, volume 1139 of Lecture Notes in Computer Science, pages 62-76, Aachen, Germany, 1996. Springer-Verlag.
3. F. Benhamou, F. Goualard, L. Granvilliers, and J.-F. Puget. Revising hull and box consistency. In Proc. 16th Int. Conf. Logic Programming, pages 230-244. The MIT Press, 1999.
4. H. Beringer and B. De Backer. Combinatorial problem solving with cooperative solvers. In Logic Programming: formal methods and practical applications. Elsivier Science Publisher, 1995.
5. B. W. Boehm. Software Enginieering Economics. Prentice-Hall, 1981.
6. P. Chalasani, S. Jha, and K. Sullivan. An options approach to software prototyping. In International Conference on Software Engineering (ICSE ‘98). ACM SIGSOFT, 1998.
7. A. Colmerauer. An introduction to Prolog III. Communications of the ACM, 33(7):69-90, July 1990.
8. P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2-3):103-179, 1992.
9. R. R. Dumke, C. Rautenstrauch, A. Schmietendorf, and A. Scholz, editors. Performance Engineering, volume 2047 of Lecture Notes in Computer Science. Springer, 2001.
10. C. Gervet. Interval propagation to reason about sets: definition and implementation of a practical language. In Constraints, volume 3, pages 191-244. Kluwer Academic Publishers, 1997.
11. L. Granvilliers, E. Monfroy, and F. Benhamou. Symbolic-interval cooperation in constraint programming. In Proc. ISSAC 2001. ACM, 2001.
12. D. Harel, D. Kozen, and J. Tiuryn. Dynamic logic. The MIT Press, 2000.
13. P. Hickey. CLIP: a CLP (Intervals) dialect for metalevel constraint solving. In Proc. Int. Workshop on Practical Aspects of Declarative Languages, volume 1753 of Lecture Notes in Computer Science, pages 200-214. Springer, 2000.
14. C. A. R. Hoare and H. Jifeng. Unifying programming theories. Prentice-Hall, 1998.
15. e User Manual (release 5.3), 1996-2000.
16. J. Jaffar, S. Michaylov, P. Stuckey, and R. Yap. The CLP(ℜ) language and system. ACM Trans. on Progamming Languages and Systems, 14(3):339-395, July 1992.
17. J. Loeckx, K. Sieber (Contributor), and R. D. Stansifer (Photographer). The Foundations of Program Verification, 2nd Edition. John Wiley & Son Ltd, 1987.
18. E. M. Clarke Jr, O. Grumberg, and D. Peled. Model checking. The MIT Press, 2000.
19. A. K. Mackworth and E. C. Freuder. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Journal of Artificial Intelligence, 25:65-74, 1985.
20. P. Marti and M. Rueher. Distributed cooperating constraint solving systems. International Journal of Artificial Intelligence Tools, 4(1&2):95-113, 1995.
21. E. Monfroy. The constraint solver collaboration language of BALI. In D. M. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2. Research Studies Press/Wiley, 2000.
22. E. Monfroy. Control-driven Constraint Propagation. Journal of Applied Artificial Intelligence, 15(1):79-103, Jan. 2001. Special Issue: Coordination Models and Languages in AI.
23. Mozart Consortium. The Mozart programming system, 1999.
24. F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
25. PROLOGIA. Prolog IV: constraints inside (reference manual), 1996.
26. P. Van Hentenryck, L. Michel, and Y. Deville. Numerica: a Modelling Language for Global Optimization. The MIT Press, Cambridge, MA, 1997.
27. e. In Proc. Ershov Memorial Conference 1999, volume 1755 of Lecture Notes in Computer Science, pages 434-444. Springer, 1999.