Interface ExhaustiveSearchPhase<Solution_>