Weighted Spanning Tree Constraint with Explanations.

Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey

Browse the full CPAIOR paper archive.