Redirecting to Iterative deepening depth-first search