Reducibility Among Combinatorial Problems", Complexity of Computer Computations (1972)

by R M Karp