Might be worth (in future) noting that there are multiple Richard Karp people, for a moment I a) thought it was the other CS-related Richard Karp, and b) that he had died (neither of the CS Richards have, thankfully).
As is obvious (now) from furcyd's post, this is about Richard M Karp
As is obvious (now) from furcyd's post, this is about Richard M Karp