Reducibility among combinatorial problems (1972)

by Richard M Karp