Greater efficiency for conditional constraint satisfaction

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

Volumn 2833, Issue , 2003, Pages 649-663

  Sabin, Mihaela ^a   Freuder, Eugene C ^b   Wallace, Richard J ^b  

^a RIVIER COLLEGE   (United States)

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; CONSTRAINT THEORY;

BACKTRACK SEARCH; CONDITIONAL CONSTRAINT SATISFACTION PROBLEM; CONDITIONAL CONSTRAINTS; FORWARD CHECKING; MAINTAINING ARC CONSISTENCIES; ORDERS OF MAGNITUDE; PROBLEM SOLUTIONS; STANDARD CONSTRAINTS;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 35248818217     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45193-8_44     Document Type: Article

References (23)

1. Gelle, E.: On the generation of locally consistent solution spaces. Ph.D. Thesis, Ecole Polytechnique Fédérale de Lausanne, Switzerland (1998)
2. Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: Proceedings of the Eighth National Conference on Artificial Intelligence. (1990)
3. Sabin, M., Freuder, E.: Detecting and resolving inconsistency and redundancy in conditional constraint satisfaction problems. In: Web-published papers of the CP'98 Workshop on Constraint Problem Reformulation, Pisa, Italy (1998)
4. Dechter, R., Dechter, A.: Belief maintenance in dynamic constraint networks. In: Proceedings of AAAI-88. (1988) 37-42
5. Bessière, C.: Arc-consistency in dynamic constraint satisfaction problems. In: Proceedings of the 9th AAAI. (1991) 221-226
6. Verfaillie, G., Schiex, T.: Solution reuse in dynamic constraint satisfaction problems. In: Proceedings of the 12th AAAI, Seattle, WA (1994) 307-312
7. Sabin, D., Sabin, M., Russell, R., Freuder, E.: A constraint-based approach to diagnosing software problems in computer networks. In Montanari, U., ed.: Principles and Practice of Constraint Programming - CP'95, Lecture Notes of Computer Science 976, Springer Verlag (1995)
8. Sabin, M., Russell, R., Miftode, I.: Using constraint technology to diagnose errors in networks managed with spectrum. In: Proceedings of the IEEE Internationl Conference on Telecommunications, Bucharest, Romania (2001)
9. Soininen, T., Gelle, E., Niemelä, I.: A fixpoint definition for dynamic constraint satisfaction. Principles and Practice of Constraint Programming, CP'99 (1999)
10. Gelle, E., Fallings, B.: Solving mixed and conditional constraint satisfaction problems. Constraints 8 (2003) 107-141
11. Wallace, R.: Random CSP Generator. Constraint Computation Center, University of New Hampshire, Durham, NH, U.S.A. (1996) http://www.cs.unh.edu/ ccc/code.html.
12. Sabin, M.: Solving and Reformulation of Conditional Constraint Satisfaction Problems. PhD thesis, University of New Hampshire, Durham, NH, U.S.A. (2003)
13. Haselböck, A.: Knowledge-based Configuration and Advanced Constraint Technologies. PhD thesis, Technical University of Vienna (1993)
14. Haralick, R., Elliott, G.: Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence 14 (1980) 263-313
15. Mackworth, A.: Consistency in networks of relations. Artificial Intelligence 8 (1977)
16. Sabin, D., Freuder, E.: Contradicting conventional wisdom in constraint satisfaction. In Borning, A., ed.: Principles and Practice of Constraint Programming, Lecture Notes in Computer Science. Volume 874. Springer (1994) (PPCP'94: Second International Workshop, Orcas Island, Seattle, USA).
17. Grant, S., Smith, B.: The phase transition behavior of maintaining arc consistency. Technical Report 92.95, School of Computing, University of Leeds (1995) (A revised and shortened version appears in Proceedings ECAI'96, pp. 175-179, 1996).
18. Bessière, C., Régin, J.C.: MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems. In Freuder, E., ed.: Principles and Practice of Constraint Programming. Lecture Notes of Computer Science. Volume 1118., Springer (1996) 61-75 (CP'96: Second International Conference, Boston, MA, USA).
19. Bessière, C., Régin, J.C.: Arc consistency for general constraint networks: preliminary results. In: Proceedings IJCAI'97, Nagoya, Japan (1997) 398-404
20. Mohr, R., Henderson, T.: Arc and path consistency revisited. Aritificial Intelligence 28 (1986) 225-233
21. Freuder, E., Wallace, R.: Partial constraint satisfaction. Artificial Intelligence 58 (1992)
22. Bessière, C., Régin, J.C.: Refining the basic constraint propagation algorithm. In: Proceedings IJCAI'01, Seattle, WA (2001) 309-315
23. Bessière, C., Meseguer, P., Freuder, E., Larrosa, J.: On forward checking for non-binary constraint satisfaction. Artificial Intelligence 141 (2002) 205-224