This is a preview of subscription content, log in via an institution to check access.
References
G. Alefeld & J. Herzberger. (1983). Introduction to Interval Computations. Academic Press..
H. Beringer & B. De Backer. (1994). Combinatorial problem solving in Constraint Logic Programming with cooperating Solvers. In C. Beierle and L. Plumer, editors, Logic Programming: Formal Methods and Practical Applications. Elsevier Science Publishers.
F. Benhamou & W. J. Older. (1997). Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming, 32(1): 1-24. Also BNR research report, 1992.
C.K. Chiu & J.H.M. Lee. (1994). Towards practical interval constraint solving in logic programming. In Proceedings of ILPS'94, Ithaca, NY, USA.
J. G. Cleary. (1987). Logical Arithmetic. Future Computing Systems, 2(2): 125–149.
A. Colmerauer. (1990). An Introduction to Prolog III. Communications of the ACM, 33(7): 69–90.
A. Colmerauer. (1996). Specifications of Prolog IV. Draft.
E. R. Hansen. (1992). Global Optimization using Interval Analysis. M. Dekker.
J. Jaffar & J.-L. Lassez. (1987). Constraint Logic Programming. In POPL'87: Proceedings 14th ACMSymposium on Principles of Programming Languages, pages 111–119, Munich. ACM.
O. Lhomme. (1993). Consistency techniques for numeric CSPs. In R. Bajcsy, editor, Proceedings of the 13th IJCAI, pages 232–238, Chamb´ery, France. IEEE Computer Society Press.
J.H.M. Lee & M.H. van Emden. (1993). Interval Computation as Deduction in CHIP. Journal of Logic Programming, 16(3 & 4): 255–276.
A. Mackworth. (1977). Consistency in Networks of Relations. Artificial Intelligence, 8(1): 99–118.
U. Montanari. (1974). Networks of Constraints: Fundamental Properties and Applications to Picture Processing. Information Science, 7(2): 95–132.
R. E. Moore. (1996). Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ.
W. Older & A. Vellino. (1993). Constraint Arithmetic on Real Intervals. In Fr´ed´eric Benhamou and Alain Colmerauer, editors, Constraint Logic Programming: Selected Research. MIT Press,.
J.-F. Puget. (1994). A C++ implementation of CLP. In Proceedings of SPICIS 94, Singapore.
G. Sidebottom & W. Havens. (1992). Hierarchical Arc Consistency Applied to Numeric Processing in Constraint Logic Programming. Computational Intelligence, 4(8).
V. Telerman et al. (1996). Interval and Multi-interval Extensions in Subdefinite Models Proceedings of INTER-VAL'96, Wuerzburg. 1
P. Van Hentenryck, L. Michel, & F. Benhamou. (1997). Newton: Constraint Programming over Non-linear Constraints. Science of Programming. (Forthcoming).
P. Van Hentenryck, L. Michel, & Y. Deville. (1997). Numerica: A Modeling Language for Global Optimization. MIT Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Benhamou, F., Van Hentenryck, P. Introduction to the Special Issue on Interval Constraints. Constraints 2, 107–112 (1997). https://doi.org/10.1023/A:1009776324754
Issue Date:
DOI: https://doi.org/10.1023/A:1009776324754