Weighted spanning tree constraint with explanations

From MaRDI portal
Publication:2815098