Minor characterization of undirected branching greedoids - a short proof.

Oskar Goecke Rainer Schrader

Published in: Discret. Math. (1990)

Keyphrases

directed graph
theorem proving
branch and bound
search tree
three dimensional
theorem prover
digital libraries
upper bound
weighted graph
geometry theorem proving
learning algorithm
bayesian networks