The above work is supported by NSF grant CCF-1852215.
Thank you so much to the Rutgers DIMACS Team and the National Science Foundation (NSF) for this opportunity!