Este teorema de Cook-Levin, nombrado a menudo así por los investigadores, era una base para uno de los siete problemas matemáticos del milenio recompensado por el Clay Mathematics Institute con un premio de un millón de dólares.