A state-space search algorithm that considers the estimated best partial solution next. This is typically implemented with a priority queue.