A best-first search algorithm guided by a set-valued heuristic