A Proof of a Conjecture of Bondy Concerning Paths in Weighted Digraphs.

Béla Bollobás Alex D. Scott

Published in: J. Comb. Theory, Ser. B (1996)

Keyphrases

weighted distance
database
theorem prover
information retrieval
theorem proving
machine learning
artificial intelligence
information systems
knowledge base
lower bound
shortest path
equivalence classes
weight function