Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. F. Baader 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. McAllester, 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.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献