Ascent++
Search
greedy algorithm
subgroup of
algorithm
,
3
assertions
CapableOf
1
find minimal spanning t…
0.81
ReceivesAction
1
given by kruskal
0.38
SimilarTo
1
dynamic programming alg…
0.68