Login / Signup
Verifying minimum spanning tree algorithms with Stone relation algebras.
Walter Guttmann
Published in:
J. Log. Algebraic Methods Program. (2018)
Keyphrases
</>
minimum spanning tree
graph theory
computational complexity
optimization problems
multimedia
shortest path
ant colony optimization
euclidean distance
spanning tree