Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems. - Simon Brockbank; Gilles Pesant; Louis-Martin Rousseau (CP, 2013)