Counting Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems. - Antoine Delaite; Gilles Pesant (CPAIOR, 2017)