Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Introduction to the Special Issue on Interval Constraints

  • Published:
Constraints Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

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.

    Google Scholar 

  • 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.

    Google Scholar 

  • A. Colmerauer. (1990). An Introduction to Prolog III. Communications of the ACM, 33(7): 69–90.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • J.H.M. Lee & M.H. van Emden. (1993). Interval Computation as Deduction in CHIP. Journal of Logic Programming, 16(3 & 4): 255–276.

    Google Scholar 

  • A. Mackworth. (1977). Consistency in Networks of Relations. Artificial Intelligence, 8(1): 99–118.

    Google Scholar 

  • U. Montanari. (1974). Networks of Constraints: Fundamental Properties and Applications to Picture Processing. Information Science, 7(2): 95–132.

    Google Scholar 

  • R. E. Moore. (1996). Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ.

    Google Scholar 

  • 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.

Download references

Author information

Authors and Affiliations

  1. LIFO, University of Orléans, B.P. 6759, 45067, Orléans Cedex 2, France

    Frédéric Benhamou

  2. Brown University, Box 1910, Providence, RI, 02912

    Pascal Van Hentenryck

Authors
  1. Frédéric Benhamou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pascal Van Hentenryck
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1009776324754

Keywords

Search

Navigation