Linear-space best-first search