Paper co-authored by Richard Karp receives 2017 RECOMB Test of Time Award