Reducibility Among Combinatorial Problems (1972) [pdf]