A Modular Approach to Proving Confluence

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2309)


We are interested in investigating the confluence properties of cooperating constraint solvers. To this end, we model solvers as reductions that transform constraint networks, we define the notion of insensitivity to a superset relation, and show that, if each solver of a given set of solvers is insensitive to the same terminating superset relation, then any combination of these solvers is confluent. By means of this modular approach, we study the relationship between confluence and maintaining certain levels of local consistency and we demonstrate the confluence of a solver for a global finite-domain constraint that consists of several reductions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    S. Abdennadher, T. Frühwirth, and H. Meuss. Confluence and semantics of constraint simplification rules. Constraints, 4(2):133–165, 1999.zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.Google Scholar
  3. 3.
    P. Baptiste, C. L. Pape, and W. Nuijten. Satisfiability tests and time-bound adjustments for cumulative scheduling problems. Annals of Operations Research, 92:305–333, 1999.zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    M. Marte. A global constraint for parallelizing the execution of task sets. Technical Report PMS-FB-2001-13, Institut für Informatik der Universität München, 2001.Google Scholar
  5. 5.
    M. Marte. A modular approach to proving confluence. Technical Report PMS-FB-2001-18, Institut für Informatik der Universität München, 2001.Google Scholar
  6. 6.
    P. Van Hentenryck, V. Saraswat, and Y. Deville. Design, implementation, and evaluation of the constraint language cc(FD). Journal of Logic Programming, 37(2):139–164, 1998.zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  1. 1.Institut für InformatikUniversität MünchenMünchenGermany

Personalised recommendations