Are Cook and Karp ever the same? | IEEE Conference Publication | IEEE Xplore