Ascent++
Search
Assertion list
greedy algorithm
(
subgroup
of
algorithm
)
→ CapableOf
Results from
Ascent++
:
1
greedy algorithm
→
CapableOf
→
find minimal spanning tree
0.81