Maybe backtracking would be used to reduce the search space.