Solving Games without Determinization