Failure analysis in backtrack search for constraint satisfaction

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

Volumn 4204 LNCS, Issue , 2006, Pages 731-735

  Hulubei, Tudor ^a   O'Sullivan, Barry ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33750297666     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11889205_60     Document Type: Conference Paper

References (6)

1. J.C. Beck, P. Prosser, and R.J. Wallace. Variable ordering heuristics show promise. In Proceedings of CP-2004, LNCS 3258, pages 711-715, 2004.
2. C.P. Gomes, C. Fernández, B. Selman, and C. Bessière. Statistical regimes across constrainedness regions. Constraints, 10(4):317-337, 2005.
3. C.P. Gomes, B. Selman, N. Crato, and H. Kautz. Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. Automated Reasoning, 24(1/2):67-100, 2000.
4. R.M. Haralick and G.L. Elliott. Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence, 14(3):263-313, 1980.
5. T. Hulubei and B. O'Sullivan. The impact of search heuristics on heavy-tailed behaviour. Constraints, 11(2-3):157-176, 2006.
6. B.M. Smith and S.A. Grant. Trying harder to fail first. In Proceedings of ECAI-1998, volume 14, pages 249-253, 1998.