A counterexample for the proof of implication conjecture on independent spanning trees.

Abishek Gopalan Srinivasan Ramasubramanian

Published in: Inf. Process. Lett. (2013)

Keyphrases

spanning tree
edge disjoint
minimum spanning tree
minimum spanning trees
complete axiomatization
minimum cost
theorem prover
minimum total cost
weighted graph
root node
functional dependencies
theorem proving
undirected graph