A star search algorithm