An algorithm guaranteed to find minimum length trees but often requiring considerably fewer calculations than an exhaustive search.