Skip to main content

Global behaviour for complex constraints

  • Posters
  • Conference paper
  • First Online:
Principles and Practice of Constraint Programming — CP96 (CP 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1118))

  • 130 Accesses

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

Access this chapter

Institutional subscriptions

References

  1. F. Benhamou, Touraïvane. Prolog IV: langage et algorithmes. JFPL, 1995.

    Google Scholar 

  2. F. Benhamou, D. McAllester, P. Van Hentenryck. CLP (Intervals) revisited. ILPS, 1994.

    Google Scholar 

  3. J.G. Cleary. Logical arithmetic. Future generation computing systems. 1987.

    Google Scholar 

  4. E.R. Hansen, R.I. Greenberg. An interval Newton method. Appl. Math. Comput, 1983.

    Google Scholar 

  5. E.R. Hansen, S. Sengupta. Bounding solutions of systems of equations using interval analysis. BIT, 1981.

    Google Scholar 

  6. A.K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, Vol 8, No 1, 1977.

    Google Scholar 

  7. R.E. Moore. Interval analysis. Prentice-Hall, Englewood Cliffs, 1966.

    Google Scholar 

  8. W. Older, F. Benhamou. Programming in CLP(BNR). PPCP, 1993.

    Google Scholar 

  9. W. Older, A.J. Velino. Constraint arithmetic on real interval in CLP. Selected research. F. Benhamou and A. Colmerauer, eds MIT Press, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Eugene C. Freuder

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

N'Dong, S., Van Caneghem, M. (1996). Global behaviour for complex constraints. In: Freuder, E.C. (eds) Principles and Practice of Constraint Programming — CP96. CP 1996. Lecture Notes in Computer Science, vol 1118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61551-2_112

Download citation

  • DOI: https://doi.org/10.1007/3-540-61551-2_112

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61551-4

  • Online ISBN: 978-3-540-70620-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics