. . "Richard Karp" . . "Richard Karp" .