Counting-based look-ahead schemes for constraint satisfaction

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

Volumn 3258, Issue , 2004, Pages 317-331

  Kask, Kalev ^a   Dechter, Rina ^a   Gogate, Vibhav ^a  

^a Ringgold Standard Institution Informatics   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; CLUSTERING ALGORITHMS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; INFERENCE ENGINES; ITERATIVE METHODS; TREES (MATHEMATICS);

BACKTRACKING SEARCH; BELIEF PROPAGATION ALGORITHM; CONSTRAINT SATISFACTION; EMPIRICAL EVALUATIONS; FOCUSED SEARCH; JOIN GRAPHS; PROBABILISTIC INFERENCE;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 35048819606     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30201-8_25     Document Type: Article

References (12)

1. Christian Bessiere and Jean-Charles Regin. MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems. In CP'96, 1996.
2. R. Dechter, K. Kask, and J. Larrosa. A general scheme for multiple lower-bound computation in constraint optimization. CP-2001, 2001.
3. R. Dechter and J. Pearl. Tree clustering for constraint networks. Artificial Intelligence, pages 353-366, 1989.
4. Rina Dechter. Constraint Processing. Morgan Kaufmann, 2003.
5. Rina Dechter, Kalev Kask, and Robert Mateescu. Iterative join graph propagation. In UAI '02, pages 128-136. Morgan Kaufmann, August 2002.
6. Rina Dechter and Robert Mateescu. A simple insight into iterative belief propagation's success. UAI-2003, 2003.
7. K. Kask and R. Dechter. Gsat and local consistency. In IJCAI-95, 1995.
8. Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, and Mark E. Stickel. Balance and filtering in structured satisfiable problems. In IJCAI, pages 351-358, 2001.
9. Horsch Michael and Havens Bill. Probabilistic arc consistency: A connection between constraint reasoning and probabilistic reasoning. In UAI-2000, pages 282-290, 2000.
10. J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, 1988.
11. Daniel Sabin and Eugene C. Freuder. Understanding and improving the MAC algorithm. In CP (1997), pages 167-181, 1997.
12. Barbara Smith. The phase transition in constraint satisfaction problems: A CLoser look at the mushy region. In Proceedings ECAI'94, 1994.