The search for a solution to any type of problem is aided by search goals. In practice, a good scheduling search goal depends on the structural properties of the problem and what the aim is: to find a solution, to improve a known solution, or to prove that some conditions are optimal. Scheduler provides several facilities, including predefined search goals, to facilitate the search for solutions. Examples presented here are solved using high-level search techniques of IBM® ILOG® Solver.