Computers and intractability : a guide to the theory of NP-completness - Garey, Michael R., 1945- (Series of books in the mathematical sciences, 1997)