Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms.
Anshuman MohanWei Xiang LeowAquinas HoborPublished in: CAV (2) (2021)
Keyphrases
- minimum spanning tree
- orders of magnitude
- recently developed
- times faster
- benchmark datasets
- parallel implementations
- combinatorial optimization
- classification algorithm
- theoretical analysis
- computationally efficient
- optimization problems
- worst case
- computational cost
- significant improvement
- data structure
- learning algorithm
- computational efficiency
- search space
- provably correct
- database