El primer problema natural que se demostró que es completo NP fue el problema de satisfacibilidad booleana.