Better Communication for Tighter Cooperation

  • Petra Hofstedt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1861)


We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between them and it enables the development of an open and very flexible combination mechanism. This mechanism allows the definition of a wide range of different cooperation strategies according to the current requirements such that our overall system forms a general framework for cooperating constraint solvers.


Operational Semantic Constraint System Cooperation Strategy Constraint Solver Derivation Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. Colmerauer. Naive solving of non-linear constraints. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming. Selected Research, pages 89–112. MIT Press, 1993.Google Scholar
  2. 2.
    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
  3. 3.
    H. Hong. Confluency of cooperative constraint solvers. Technical Report 94-08, Research Institute for Symbolic Computation, Linz, Austria, 1994.Google Scholar
  4. 4.
    J. Jaffar and J.-L. Lassez. Constraint logic programming. Technical Report 74, Monash University, Melbourne, Australia, 1986.Google Scholar
  5. 5.
    J. Jaffar and M.J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19&20:501–581, 1994.CrossRefMathSciNetGoogle Scholar
  6. 6.
    E. Monfroy. Solver Collaboration for Constraint Logic Programming. PhD thesis, Centre de Recherche en Informatique de Nancy. INRIA-Lorraine, 1996.Google Scholar
  7. 7.
    M. Rueher. An architecture for cooperating constraint solvers on reals. In A. Podelski, editor, Constraint Programming, volume 910 of LNCS. Springer-Verlag, 1995.Google Scholar
  8. 8.
    M. Rueher and C. Solnon. Concurrent cooperating solvers over reals. Reliable Computing, 3:3:325–333, 1997.zbMATHCrossRefGoogle Scholar
  9. 9.
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Petra Hofstedt
    • 1
  1. 1.Department of Computer ScienceBerlin University of TechnologyGermany

Personalised recommendations