Solver uses a search strategy to guide the search for a solution. A search strategy is a way to "try" a value for a variable to see if this will lead to a solution. To demonstrate how Solver uses search strategies to find a solution, consider a search strategy that takes variable x and assigns it the lowest value in the domain of x. For the first search move in this strategy, Solver assigns the value 10 to the variable x.
Figure 1.3 Search strategy- assign variable x the lowest value in its domain, 10