El primer problema NP-completo conocido fue el problema de satisfacción booleana (SAT).