A state space search algorithm that combines:

• The optimality (shortest solution) of breadth-first search, and
• The memory efficiency of depth-first search.