Solution trees as a basis for game tree search