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