Nonsystematic Backtracking Search (1995)

Cached

Download Links

by William D. Harvey , Matthew L. Ginsberg
Citations:54 - 1 self

Active Bibliography

47 Intelligent Backtracking On Constraint Satisfaction Problems: Experimental And Theoretical Results – Andrew B. Baker - 1995
28 Backtracking algorithms for constraint satisfaction problems – Rina Dechter, Daniel Frost - 1999
5 A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering – Steven Woods - 1996
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
127 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
15 Procedural Reasoning in Constraint Satisfaction РAri K. Jónsson, Matthew L. Ginsberg - 1996
161 Improvements To Propositional Satisfiability Search Algorithms – Jon William Freeman - 1995
37 Backjump-based Backtracking for Constraint Satisfaction Problems – Rina Dechter, Daniel Frost - 2002
4 Hard, flexible and dynamic constraint satisfaction – Ian Miguel, Qiang Shen - 1999
8 Intelligent Backtracking on the Hardest Constraint Problems – Andrew B. Baker - 1995
948 Constraint Networks – Rina Dechter - 1992
Hybrid backtracking bounded by – Cyril Terrioux - 2002
33 Intelligent Backtracking Techniques for Job Shop Scheduling – Yalin Xiong, Norman Sadeh, Katia Sycara - 1992
24 The Phase Transition Behaviour of Maintaining Arc Consistency – Stuart A. Grant, Barbara M. Smith - 1995
51 Hybrid backtracking bounded by tree-decomposition of constraint networks – Cyril Terrioux - 2003
372 Algorithms for Constraint Satisfaction Problems: A Survey – Vipin Kumar - 1992
Constraint Programming – The Constraint Programming Working Group - 1996
Constraint Programming – The Constraint Programming
2 Constraint Programming: Strategic Directions – Pascal van Hentenryck, Vijay Saraswat - 1997