recursive iterative-deepening search