Next:
Introduction
Tutorial on Search in ECLiPSe
Joachim Schimpf - Kish Shen - Mark Wallace
© Imperial College London 1999
Introduction
Search Methods
Introduction
Overview of Search Methods
Optimisation and Search
Heuristics
Complete Tree Search with Heuristics
Search Trees
Variable Selection
Value Selection
Example
Counting Backtracks
Incomplete Tree Search
Bounded Backtrack Search
Credit Search
Timeout
Limited Discrepancy Search
Introduction
Limited Discrepancy Search using a Static Heuristic
Limited Discrepancy Search using a Dynamic Heuristic
LDS and BBS Combined
Local Search Methods
The Knapsack Example
Search Code Schema
Random walk
Hill Climbing
Simulated Annealing
Tabu Search
Hybrid Search Methods
Weak-commitment Search
Introduction
Using the WCS
Implementation of WCS
Improving Implementation of Nogoods
About this document ...
1999-08-07