Implementing constraint relaxation over finite domains using assumption-based truth maintenance systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1106, Issue , 1996, Pages 265-280

  Jussien, Narendra ^a   Boizumault, Patrice ^a  

^a ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY; LOGIC PROGRAMMING;

ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEMS; CONSTRAINT RELAXATION; CONSTRAINT SOLVERS; FINITE DOMAINS; FULLY INTEGRATED; OVER-CONSTRAINED; UNIFORM FRAMEWORK;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84947747764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61479-6_28     Document Type: Conference Paper

References (18)

1. Christian Bessière. Arc consistency in dynamic constraint satisfaction problems. In Proceedings AAAI’91, 1991.
2. Patrice Boizumault, Christelle Guéret, and Narendra Jussien. Efficient labeling and constraint relaxation for solving time tabling problems. In Pierre Lim and Jean Jourdan, editors, Proceedings of the 1994 ILPS post-conference workshop on Constraint Languages/Systems and their use in Problem Modeling: Volume 1 (Applications and Modelling), Technical Report ECRC-94-38, ECRC, Munich, Germany, November 1994.
3. Alan Boming, Michael Maher, Amy Martindale, and Molly Wilson. Constraint hierarchies and logic programming. In Giorgio Levi and Maurizio Martelli, editors, ICLP’89: Proceedings 6th International Conference on Logic Programming, pages 149-164, Lisbon, Portugal, June 1989. MIT Press.
4. Xavier Cousin. Meilleures solutions en programmation logique. In Proceedings Avignon’91, 1991. In French.
5. Johan de Kleer. An assumption-based tms. Artificial Intelligence, 28:127-162, 1986.
6. Johan de Kleer. A comparison of ATMS and CSP techniques. In IJCAI-89: Proceedings 11th International Joint Conference on Artificial Intelligence, pages 290-296, Detroit, 1989.
7. Romuald Debruyne. DnAc6. Research Report 94-054, Laboratoire d’Informatique, de Robotique et de Micro-électronique de Montpellier, 1994. In French.
8. François Fages, Julian Fowler, and Thierry Sola. Handling preferences in constraint logic programming with relational optimization. In PLILP’94, Madrid, September 1994.
9. François Fages, Julian Fowler, and Thierry Sola. A reactive constraint logic programming scheme. In International Conference of Logic Programming, ICLP’95, Tokyo, 1995.
10. Bjom Freeman-Benson, John Maloney, and Alan Borning. An incremental constraint solver. Communications of the ACM, 33(l):54-63, January 1990.
11. Eugene Freuder. Partial constraint satisfaction. In IJCAI-89: Proceedings llth International Joint Conference on Artificial Intelligence, pages 278-283, Detroit, 1989.
12. Alois Haselböck, Thomas Havelka, and Markus Stumptner. Revising inconsistent variable assignments in constraint satisfaction problems. In Manfred Meyer, editor, Constraint Processing: Proceedings of the International Workshop at CSAM’93, St. Petersburg, July 1993, Research Report RR-93-39, pages 113-122, DFKI Kaiserslautern, August 1993.
13. Michael Jampel and David Gilbert. Fair Hierarchical Constraint Logic Programming. In Manfred Meyer, editor, Proceedings ECAI’94 Workshop on Constraint Processing, Amsterdam, August 1994.
14. Francisco Menezes, Pedro Barahona, and Philippe Codognet. An incremented hierarchical constraint solver. In Paris Kanellakis, Jean-Louis Lassez, and Vijay Saraswat, editors, PPCP’93: First Workshop on Principles and Practice of Constraint Programming, Providence RI, 1993.
15. Vijay Saraswat, Johan de Kleer, and Brian Williams. ATMS-based constraint programming. Technical report, Xerox PARC, October 1991.
16. Gilles Trombettoni. CCMA*: A Complete Constraint Maintenance Algorithm Using Constraint Programming. In Manfred Meyer, editor, Constraint Processing: Proceedings of the International Workshop at CSAM’93, St. Petersburg, July 1993, Research Report RR-93-39, pages 123-132, DFKI Kaiserslautern, August 1993.
17. Pascal Van Hentenryck. Incremental constraint satisfaction in logic programming. In Proceedings 6th International Conference on Logic Programming, 1989.
18. Pascal Van Hentenryck, Yves Deville, and Choh-Man Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligence, 57(2-3):291-321, October 1992.