Constraint Retraction in CLP(FD): Formal Framework and Performance Results

Constraints

Volumn 4, Issue 1, 1999, Pages 5-42

  Georget, Yan ^a   Codognet, Philippe ^a   Rossi, Francesca ^b  

^a INRIA ROCQUENCOURT   (France)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

Constraint programming; Constraint retraction; Constraint satisfaction; Finite domains; Non monotonicity

Indexed keywords

EID: 0001874929     PISSN: 13837133     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009893626769     Document Type: Article

References (32)

1. A. Aggoun and N. Beldiceanu (1993). Overview of the CHIP Compiler System. In Constraint Logic Programming: Selected Research, A. Colmerauer and F. Benhamou (Eds.). MIT Press.
2. C. Bessière (1994). Arc-consistency and Arc-consistency again. Artificial Intelligence, 65(1).
3. B. Carlson, M. Carlsson and S. Janson (1994). Finite Domain Constraints in AKL(FD). In Proc. ILPS'94, International Logic Programming Symposium. USA, MIT Press.
4. C. Codognet and P. Codognet (1989). Non-deterministic Stream AND-Parallelism based on Intelligent Backtracking. In Proc. ICLP'89, 6th International Conference on Logic Programming. Lisbon, MIT Press.
5. P. Codognet and D. Diaz (1993). A Minimal Extension of the WAM for clp(FD). In Proc. ICLP'93, 10th International Conference on Logic Programming. Budapest, Hungary, MIT Press.
6. P. Codognet and D. Diaz (1996). Compiling Constraints in clp(FD). Journal of Logic Programming, vol. 27(3).
7. P. Codognet, F. Pages and T. Sola (1993). A meta-level compiler for CLP(FD) and its combination with intelligent backtracking. In Constraint Logic Programming : Selected Research, A. Colmerauer, F. Benhamou (Eds.). MIT Press.
8. P. Codognet and G. Nardiello (1995). Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods. In Constraint Programming : Basics and Trends, A. Podelski (Ed.). LNCS 910, Springer Verlag.
9. P. Codognet and F. Rossi (1995). NMCC Programming: Constraint Enforcement and Retraction in CC Programming. Proc. ICLP'95, 12th International Conference on Logic Programming. Tokyo, Japan, MIT Press.
10. P. Codognet, D. Diaz and F. Rossi (1996). Constraint Retraction in FD. 16th Conference on Foundations of Software Technology and Theoretical Computer Science. Hyderabad, India, Springer-Verlag, LNCS 1180.
11. J. Doyle (1979). A Truth Maintenance System. Artificial Intelligence 12.
12. R. Fagin, G. Kuper, J. Ullman, M. Vardi (1986). Updating Logical Databases. Advances in Computing Research, vol.3.
13. Y. Georget, P. Codognet and F. Rossi (1997). Implementing Constraint Retraction for Finite Domains. In Proc. ASIAN'97. Katmandu, Nepal, Springer-Verlag.
14. W. S. Havens (1992). Intelligent Backtracking in the Echidna Constraint Logic Programming System. Research Rep. CSS-IS TR 92-12, Simon Fraser University, Vancouver, Canada.
15. T. Huynh and K. Marriott (1992). Incremental Constraint Deletion in Systems of Linear Constraints. Draft Report, IBM T. J. Watson Research Center.
16. ILOG SA (1997). The Ilog Solver White Paper.
17. J. Jaffar and J.L. Lassez (1987). Constraint Logic Programming. Proc. POPL, ACM conference on Principles and Practice of Programming Languages, ACM Press.
18. J. Jaffar and M. Maher (1994). Constraint Logic Programming: A Survey. Journal of Logic Programming, 19 & 20.
19. J. de Kleer (1986). An assumption-based truth maintenance system. Artificial Intelligence 28.
20. A.K. Mackworth (1977). Consistency in networks of relations. Artificial Intelligence, vol.8 (1).
21. A. K. Macworth and E. C. Freuder (1985). The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25.
22. R. Mohr and T. Henderson (1986). Arc and path consistency revisited. Artificial Intelligence, 28.
23. B. A. Nadel (1989). Constraint Satisfaction Algorithms. Computational Intelligence, 5:188-224.
24. B. Neveu and P. Berlandier (1994). Maintaining Arc Consistency through Constraint Retraction. Proc. TAI'94, IEEE conference on Tools with Artificial Intelligence, IEEE Press.
25. V.A. Saraswat (1993). Concurrent Constraint Programming. MIT Press.
26. V.A. Saraswat (1992). The Category of Constraint Systems is Cartesian-Closed. Logic In Computer Science. IEEE Press.
27. The SICSTUS v3 User's Manual. Available at http://www.sics.se/ps/sicstus.html
28. T. Sola (1995). Deduction Maintenance in Constraint Logic Programs. Ph.D. thesis (in French), University of Paris XI.
29. E. Tsang (1993). Foundations of Constraint Satisfaction. Academic Press.
30. P. Van Hentenryck (1989). Constraint Satisfaction in Logic Programming. Logic Programming Series, The MIT Press, Cambridge, MA.
31. P. Van Hentenryck, Y. Deville and C-M. Teng (1992). A generic arc-consistency algorithm and its specializations. Artificial Intelligence, 57:291-321.
32. P. Van Hentenryck, V. Saraswat and Y. Deville (1992). Constraint processing in cc(FD). In Constraint Programming : Basics and Trends, A. Podelski (Ed.), LNCS 910, Springer Verlag 1995. First version: Research Report, Brown University.