Cook is faster than Karp: a study of reducibilities in NP | IEEE Conference Publication | IEEE Xplore