Implementing constraint retraction for finite domains

  • Yan Georget
  • Philippe Codognet
  • Francesca Rossi
Session 3
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1345)


Constraint retraction, while being certainly a very convenient feature in many situations, is usually not provided in current constraint programming environments. In this paper we describe how constraint retraction can be incorporated in the FD constraint solver and we evaluate its behavior within the clp(FD) system. Experimental results on usual benchmarks and also on classes of problems of increasing connectivity show that in almost all cases the use of our retraction algorithm provides great speed-up with respect to standard methods while not slowing down the clp(FD) system when no retraction is performed.


Finite Domain Domain Reduction Retraction Algorithm Concurrent Constraint Truth Maintenance System 
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.
    B. Carlson, M. Carlsson and S. Janson. Finite Domain Constraints in AKL(FD). Proc. ILPS'94, MIT Press, 1994.Google Scholar
  2. 2.
    P. Codognet and D. Diaz. Compiling Constraints in clp(FD). JLP, 1996.Google Scholar
  3. 3.
    P. Codognet, F. Fages and T. Sola. A meta-level compiler for CLP(FD) and its combination with 113. In CLP: Selected Research, A. Colmerauer, F. Benhamou (Eds.), MIT Press, 1993.Google Scholar
  4. 4.
    P. Codognet and F. Rossi. NMCC Programming: Constraint Enforcement and Retraction in CC Programming. Proc. ICLP'95, MIT Press, 1995.Google Scholar
  5. 5.
    P. Codognet, D. Diaz and F. Rossi. Constraint Retraction in FD. 16th Conf. on. Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag, LNCS 1116, 1996.Google Scholar
  6. 6.
    J. de Kleer. An assumption-based truth maintenance system. Artificial Intelligence 28, 1986.Google Scholar
  7. 7.
    J. Doyle. A Truth Maintenance System. Artificial Intelligence, vol. 12, 1979.Google Scholar
  8. 8.
    F. Fages, J. Fowler and T. Sola. A reactive CLP Scheme Proc. ICLP'95, Tokyo, 1995.Google Scholar
  9. 9.
    W. S. Havens. Intelligent Backtracking in the Echidna Constraint Logic Programming System. Research Rep. CSS-IS TR 92-12, Simon Fraser University, Vancouver, Canada, 1992.Google Scholar
  10. 10.
    ILOG SA. The Ilog Solver White Paper, April 1997.Google Scholar
  11. 11.
    J. Jaffar and J.L. Lassez. Constraint Logic Programming. Proc. POPL, ACM Press, 1987.Google Scholar
  12. 12.
    N. Jussien and P. Boizumault. Maintien de Déduction pour la Relaxation de Contraintes. Proc. of JFPLC'96, Clermont-Ferrand, 1996.Google Scholar
  13. 13.
    A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, vol.8, n.1, 1977.Google Scholar
  14. 14.
    F. Menezes, P. Barahona and P. Codognet. An Incremental Hierarchical Constraint Solver. In proceedings of PPCP'93, Newport, USA, April 93.Google Scholar
  15. 15.
    B. Neveu and P. Berlandier. Maintaining Arc Consistency through Constraint Retraction. Proc. TAI94, IEEE Press.Google Scholar
  16. 16.
    V.A. Saraswat. Concurrent Constraint Programming. MIT Press, 1993.Google Scholar
  17. 17.
    T. Schiex and Gérard Verfaillie. Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. International Journal of Artificial Intelligence Tools, 1994.Google Scholar
  18. 18.
    E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.Google Scholar
  19. 19.
    P. Van Hentenryck, Y. Deville and C-M. Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligence 57 (1992), pp 291–321.CrossRefGoogle Scholar
  20. 20.
    P. Van Hentenryck, V. Saraswat and Y. Deville. Constraint processing in cc(FD). In Constraint Programming: Basics and Trends, A. Podelski (Ed.), LNCS 910, Springer Verlag 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Yan Georget
    • 1
  • Philippe Codognet
    • 1
  • Francesca Rossi
    • 2
  1. 1.INRIA-RocquencourtLe ChesnayFrance
  2. 2.Università di PisaDipartimento di InformaticaPisaItaly

Personalised recommendations