Dooms, Gregoire
Katriel, Irit
The paper introduces the MST(G, T, W) constraint, which is specified on two graph variables G and T and a vector W of scalar variables. The constraint is satisfied if T is a minimum spanning tree of G, where the edge weights are specified by the entries of W. We develop algorithms that filter the domains of all variables to bound consistency.
Bibliographic reference |
Dooms, Gregoire ; Katriel, Irit. The minimum spanning tree constraint.12th International Conference on Principles and Practice of Constraint Programming (CP 2006) (Nantes(France), Sep 25-29, 2006). In: Lecture Notes in Computer Science, Vol. 4204, p. 152-166 (2006) |
Permanent URL |
http://hdl.handle.net/2078.1/59866 |