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]
@inproceedings{LeeL17-25,
title = {A Family of Provably Correct Algorithms for Exact Triangle Counting},
author = {Matthew Lee and Tze Meng Low},
year = {2017},
doi = {10.1145/3145344.3145484},
url = {http://doi.acm.org/10.1145/3145344.3145484},
researchr = {https://researchr.org/publication/LeeL17-25},
cites = {0},
citedby = {0},
pages = {14-20},
booktitle = {Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017},
editor = {Ignacio Laguna and Cindy Rubio-González},
publisher = {ACM},
isbn = {978-1-4503-5127-0},
}