Integer linear programming formulation for the minimum-weight spanning tree problem.
No download links available.