El primer problema natural que se demostró ser NP-completo fue el Problema booleano de satisfacibilidad.