Parallel Minimum Spanning Tree Algorithms via Lattice Linear Predicate Detection | IEEE Conference Publication | IEEE Xplore