Skip to main content
SpringerLink
Log in

Cooperating Constraint Solvers

  • Conference paper
  • First Online:
Principles and Practice of Constraint Programming – CP 2000 (CP 2000)

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

Abstract

We propose a general scheme for the cooperation of different constraint solvers. On top of a uniform interface for constraint we stepwise develop reduction systems which describe the behaviour of an overall combined system. The modularity of our definitions of reduction relations at different levels allows the definition of cooperation strategies for the solvers according to the current requirements such that our overall system forms a general framework for cooperating solvers.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Hofstedt. A functional logic language as hostlanguage for a system of combined constraint solvers. In R. Echahed, editor, 8th International Workshop on Functional and Logic Programming, pages 119–132. Grenoble, France, 1999.

    Google Scholar 

  2. H. Hong. Confluency of cooperative constraint solvers. Technical Report 94-08, Research Institute for Symbolic Computation, Linz, Austria, 1994.

    Google Scholar 

  3. E. Monfroy. Solver Collaboration for Constraint Logic Programming. PhD thesis, Centre de Recherche en Informatique de Nancy. INRIA-Lorraine, 1996.

    Google Scholar 

  4. M. Rueher. An architecture for cooperating constraint solvers on reals. In A. Podel-ski, editor, Constraint Programming. Châtillon Spring School 1994. Selected Papers, volume 910 of LNCS, pages 231–250. Springer-Verlag, 1995.

    Google Scholar 

  5. M. Rueher and C. Solnon. Concurrent cooperating solvers over reals. Reliable Computing, 3:3:325–333, 1997.

    Article  MATH  Google Scholar 

  6. C. Tinelli and M. T. Harandi. Constraint logic programming over unions of constraint theories. The Journal of Functional and Logic Programming, Article 6, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Berlin University of Technology, Germany

    Petra Hofstedt

Authors
  1. Petra Hofstedt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of California at Irvine, Irvine, CA, 92697, USA

    Rina Dechter

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hofstedt, P. (2000). Cooperating Constraint Solvers. In: Dechter, R. (eds) Principles and Practice of Constraint Programming – CP 2000. CP 2000. Lecture Notes in Computer Science, vol 1894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45349-0_42

Download citation

  • DOI: https://doi.org/10.1007/3-540-45349-0_42

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41053-9

  • Online ISBN: 978-3-540-45349-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation