About the use of local consistency in solving CSPs

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 2000-January, Issue , 2000, Pages 104-107

  Chmeiss, A ^a   Sais L ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

Constraint optimization; Filtering algorithms; Intelligent networks; Lenses; Power filters; Production; Relational databases

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; CONSTRAINED OPTIMIZATION; INTELLIGENT NETWORKS; LENSES; OPTIMIZATION; PRODUCTION;

CONSTRAINT OPTIMIZATIONS; FILTERING ALGORITHM; FILTERING TECHNIQUE; LOCAL CONSISTENCY; POWER FILTERS; RELATIONAL DATABASE; SEARCH ALGORITHMS; SINGLETON ARC CONSISTENCY;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 77956726430     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAI.2000.889853     Document Type: Conference Paper

References (11)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26-11:832-843, 1983.
2. I. Audemard, B. Benhamou, and P. Siegel. La méthode d'avalanche aval: une méthode énumerative pour sat. In JNPC'99, Lyon France, 1999.
3. C. Bessire and J.-C. Rgin. Mac and combined heuristics: Two reasons to forsake fc (and cbj?) on hard problems. In CP'96, LNCS 1118, pages 61-75, 1996.
4. R. Debruyne and C. Bessire. Some practicable filtering techniques for the constraint satisfaction problems. In IJCAI'97, pages 412-417, 1997.
5. R. Dechter and J. Pearl. Network-based heuristics for constraint satisfaction problems. Artificial Intelligence, 34:1-38, 1988.
6. O. Dubois, P. André, Y. Boufkhad, and J. Carlier. Sat versus unsat. In Second DIMACS Challenge, 1993.
7. C. M. Li and Anbulagan. Heuristics based on unit propagation for satisfiability problems. In IJCAI97, pages 366-371, 1997.
8. U. Montanari. Networks of constraints: fundamental properties and applications to picture processing. Inform. Sci, 7:95-132, 1974.
9. F. Rossi. Redundant hidden variables in finite domain constraint problems. Constraint processing, Springer-Verlag, LNCS, (923), 1995.
10. D. Sabin and E. Freuder. Contradicting conventional wisdom in constraint satisfaction. In ECAI'94, 1994.
11. D. Sabin and E. C. Freuder. Understanding and improving the mac algorithm. In CP'97, 1997.