Matthew Lee, Tze Meng Low. A Family of Provably Correct Algorithms for Exact Triangle Counting. In Ignacio Laguna, Cindy Rubio-González, editors, Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017. pages 14-20, ACM, 2017. [doi]
Abstract is missing.