roving procedures"于新成立的ACM Symposium on Theory of Computing内。理查德·卡普接续的论文"Reducibility amongcombinatorial problems"则借由提出了二十一个NP-完全问题的列表，让古克之前的论文重新受到了注意。古克和卡普因为这个成就得到了图灵奖。Theodore P. Baker, John Gill，和Robert Solovay于1975年证明了使用谕示机模型解决NP-问题需要指数时间，因此对于NP-完备性