On encodings of spanning trees.

Glenn H. Hurlbert

Published in: Discret. Appl. Math. (2007)

Keyphrases

spanning tree
edge disjoint
minimum cost
minimum spanning tree
non binary
minimum spanning trees
minimum weight
root node
planning problems
depth first search
edge weights
sat encodings
orders of magnitude
weighted graph
undirected graph
leaf nodes