Nonsystematic Backtracking Search (1995)

Cached

Download Links

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

Documents Related by Co-Citation

263 Limited Discrepancy Search – William D. Harvey, Matthew L. Ginsberg - 1995
66 Systematic and non-systematic search strategies – P Langley - 1992
360 GSAT and Dynamic Backtracking – Matthew L. Ginsberg, David A. McAllester - 1994
115 Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems – James M. Crawford, Andrew B. Baker - 1994
315 Boosting combinatorial search through randomization – Carla P. Gomes - 1998
93 Slack-based Heuristics for Constraint Satisfactions Scheduling – S F Smith, C Cheng - 1993
64 Improved Limited Discrepancy Search – Richard E. Korf - 1996
398 Minimizing Conflicts: A Heuristic Repair Method for Constraint-Satisfaction and Scheduling Problems – Steven Minton, Andy Philips, Mark D. Johnston, Philip Laird - 1993
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
148 P.: Solving large-scale constraint satisfaction and scheduling problems using a heuristic repair method – S Minton, M Johnston, A Philips, Laird - 1990
202 Experimental Results on the Crossover Point in Satisfiability Problems – James M. Crawford, Larry D. Auton - 1993
67 Iterative Broadening – Matthew L. Ginsberg, William D. Harvey - 1990
948 Constraint Networks – Rina Dechter - 1992
137 Experimental Results on the Crossover Point in Random 3sat – James M. Crawford, Larry D. Auton - 1996
114 Look-Ahead Techniques For Micro-Opportunistic Job Shop Scheduling – Norman Sadeh - 1991
3505 Optimization by simulated annealing – S. Kirkpatrick, C. D. Gelatt, M. P. Vecchi - 1983
20 Systematic versus stochastic constraint satisfaction – Rina Dechter, Bart Selman - 1995
277 OR-library: distributing test problems by electronic mail – J E Beasley - 1990
534 A Machine Program for Theorem-Proving – M Davis, G Logemann, D Loveland - 1962