Su NP-completitud fue demostrada por Stephen Cook en 1971 (el Teorema de Cook).