Antoine Delaite, Gilles Pesant. Counting Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems. In Domenico Salvagnin, Michele Lombardi 0001, editors, Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings. Volume 10335 of Lecture Notes in Computer Science, pages 176-184, Springer, 2017. [doi]
Abstract is missing.