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.