next up previous contents
Next: Guesses - Constraints Imposed Up: Constructive Search Previous: Branch and Bound

Depth-First Search and Backtracking

We have also encountered the finite domain search procedure labeling, which successively instantiates a list of finite domain variables to values in their domains. In ECLiPSe the default search method is depth-first search and backtracking on failure. Of the complete search methods available, this is in practice the best because search algorithms with a breadth-first component quickly grow to occupy too much memory. We will discuss some incomplete search methods below.

Joachim Schimpf
Wed Sep 3 18:07:19 BST 1997