Arc Consistency Algorithms via Iterations of Subsumed Functions

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


We provide here an extension of a general framework introduced in [Apt99b,Apt99c] that allows to explain several local consistency algorithms in a systematic way. In this framework we proceed in two steps. First, we introduce a generic iteration algorithm on partial orderings and prove its correctness. Then we instantiate this algorithm with specific partial orderings and functions to obtain specific local consistency algorithms. In particular, using the notion of subsumption, we show that the algorithms AC4, HAC-4, AC-5 and our extension HAC-5 of AC-5 are instances of a single generic algorithm.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Apt99a.
    K.R. Apt, The Essence of Constraint Propagation, Theoretical Computer Science, 221(1–2), pp. 179–210, 1999.zbMATHCrossRefMathSciNetGoogle Scholar
  2. Apt99b.
    K.R. Apt, The Rough Guide to Constraint Propagation, Proc. of the 5th International Conference on Principles and Practice of Constraint Programming (CP’99), (invited lecture), Springer-Verlag Lecture Notes in Computer Science 1713, pp. 1–23.Google Scholar
  3. Apt99c.
    K.R. Apt, The Role of Commutativity in Constraint Propagation Algorithms, submitted for publication.Google Scholar
  4. HDT92.
    P. van Hentenryck, Y. Deville and C. Teng, A generic arc-consistency algorithm and its specializations, Artificial Intelligence, 57, pp. 291–321, 1992.CrossRefMathSciNetzbMATHGoogle Scholar
  5. MS99.
    K. Marriott and P. Stuckey, Programming with Constraints, MIT Press, 1998.Google Scholar
  6. MH86.
    R. Mohr and T. Henderson, Arc and Path Consistency Revisited, Artificial Intelligence, 28, pp. 225–233, 1986.CrossRefGoogle Scholar
  7. MM88.
    R. Mohr and G. Masini, Good old discrete relaxation, Proc. of the 8th European Conference on Artificial Intelligence (ECAI), pp. 651–656, Pitman Publisher, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Rosella Gennari
    • 1
  1. 1.Institute of Logic, Language and Computation, ILLC Department of PhilosophyUniversity of AmsterdamAmsterdamThe Netherlands

Personalised recommendations