4 ms·Cook's proof was presented at a conference in 1998 and published in 2000. NKS came out in 2002.by pmiller2 10y agoCook's proof was presented at a conference in 1998 and published in 2000. NKS came out in 2002.