Summarizing CSP hardness with continuous probability distributions (1997)

Cached

Download Links

by Daniel Frost , Irina Rish , Lluis Vila
Venue:In Proceedings of the 14th National Conference on AI
Citations:29 - 2 self

Active Bibliography

28 Backtracking algorithms for constraint satisfaction problems – Rina Dechter, Daniel Frost - 1999
47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
6 Statistical Analysis of Backtracking on Inconsistent CSPs – Irina Rish, Daniel Frost - 1997
117 The Constrainedness of Search – Ian P. Gent, Patrick Prosser, Toby Walsh - 1999
37 Backjump-based Backtracking for Constraint Satisfaction Problems – Rina Dechter, Daniel Frost - 2002
75 Dead-End Driven Learning – Daniel Frost, Rina Dechter - 1994
29 In search of the best constraint satisfaction search: An empirical evaluation – Daniel Frost, Rina Dechter - 1994
14 How Not To Do It – Ian P. Gent, Stuart A. Grant, Ewen MacIntyre, Patrick Prosser, Paul Shaw, Barbara M. Smith, Toby Walsh - 1997
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
148 Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems – Carla P. Gomes, Bart Selman, Henry Kautz - 2000
32 Adaptive Constraint Satisfaction: The Quickest First Principle – James Borrett, Edward P. K. Tsang, Natasha R. Walsh - 1996
70 An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem – Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Barbara M. Smith, Toby Walsh - 1996
Analysis of Backtracking Procedures for Random Decision Problems – Simona Cocco, Liat Ein-dor, RĂ©mi Monasson - 2004
24 The Phase Transition Behaviour of Maintaining Arc Consistency – Stuart A. Grant, Barbara M. Smith - 1995
5 A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering – Steven Woods - 1996
55 Nonsystematic Backtracking Search – William D. Harvey, Matthew L. Ginsberg - 1995
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
Contents lists available at ScienceDirect Artificial Intelligence – unknown authors
4 Hard, flexible and dynamic constraint satisfaction – Ian Miguel, Qiang Shen - 1999