Heterogeneous constraint solving

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

Volumn 1139, Issue , 1996, Pages 62-76

  Benhamou, Frédéric ^a  

^a UNIVERSITÉ D'ORLÉANS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CODES (SYMBOLS); COMPUTER CIRCUITS; RECONFIGURABLE HARDWARE; SEMANTICS;

ARC CONSISTENCY; CONSTRAINT SOLVING; CONSTRAINT-BASED; DIFFERENT DOMAINS; OPERATIONAL SEMANTICS; PROPAGATION METHOD; UNIFIED FRAMEWORK;

LOGIC PROGRAMMING;

EID: 84882247412     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61735-3_4     Document Type: Conference Paper

References (24)

1. F. Bander and K. U. Schulz. On the combination of symbolic constraints, solution domains, and constraint solvers. In Proceedings of the First International Conference on Principles and Practice of Constraint Programming, Cassis (France), volume 976 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Sept. 1995.
2. F. Benhamou. Interval Constraint Logic Programming. In A. Podelski, editor, Constraint Programming: Basics and Trends, volume 910 of LNCS, pages 1-21. Springer-Verlag, 1995.
3. F. Benhamou and L. Granvilliers. Combining Local Consistency, Symbolic Rewriting and Interval Methods. In Proceedings of the third Intenational Conference on Artificial Intelligence and Symbolic Mathematical Computation (AISMC’96). Springer-Verlag, 1996. Forthcoming.
4. F. Benhamou, D. McAUester, and P. Van Hentenryck. CLP(Intervals) Revisited. In Proceedings of ILPS’94, pages 124-138, Ithaca, NY, USA, 1994.
5. F. Benhamou and W. J. Older. Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming, 1996. forthcoming.
6. J. G. Cleary. Logical Arithmetic. Future Computing Systems, 2(2):125-149, 1987.
7. A. Colmerauer. Equations and inequations on finite and infinite trees. In FGCS- 84: Proceedings International Conference on Fifth Generation Computer Systems, pages 85-99, Tokyo, 1984. ICOT.
8. A. Colmerauer. An introduction to Prolog III. Communications of the ACM, 33(7):69-90, July 1990.
9. A. Colmerauer. Naive solving of non-linear constraints. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research, pages 89-112. MIT Press, 1993.
10. A. Colmerauer. Specifications of prolog iv. Draft, 1996.
11. H. Hong. Confluency of Cooperative Constraint Solving. Technical Report 94-08, RISC-Linz, Johannes Kepler University, Linz, Austria, 1994.
12. J. Jaffar, S. Michayov, P. Stuckey, and R. Yap. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339-395, July 1992.
13. H. Kirchner and C. Ringeissen. Combining symbolic constraint solvers on algebraic domains. Journal of Symbolic Computation, 18(2):113-155, 1994.
14. O. Lhomme. Consistency techniques for numeric CSPs. In R. Bajcsy, editor, Proceedings of the 13th IJCAL, pages 232-238, Chambéry, France, 1993. IEEE Computer Society Press.
15. A. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99-118, 1977.
16. P. Marti and M. Rueher. A Distributed Cooperating Constraint Solving System. International Journal on Artificial Intelligence Tools, 4(1):93-113, 1995.
17. U. Montanari. Networks of Constraints: Fundamental Properties and Applications to Picture Processing. Information Science, 7(2):95-132, 1974.
18. A. Narin’yani. Subdefinite models and operations with subdefinite values. Prep, int. USSR acad. of sciences, Siberian Division, 400, 1982. (in Russian).
19. W. Older and A. Vellino. Constraint Arithmetic on Real Intervals. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research. MIT Press, 1993.
20. V. Saraswat, M. Rinard, and PD Panangaden. Semantic foundations of concurrent constraint programming. In POPL ’91: Proceedings 18th A CM Symposium on Principles of Programming Languages, pages 333-352, 1991.
21. M. van Emden. Value constraints in the CLP scheme. In F. Benhamou, W. Older, M. van Emden, and P. van Hentenryck, editors, ILPS’95 post-conference workshop on Interval Constraints, Portland, Oregon, USA, 1995.
22. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, Cambridge, MA, 1989.
23. P. Van Hentenryck, D. McAllester, and D. Kaput. Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal on Numerical Analysis. (To appear).
24. 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.